Metrics for fabs fraction 2

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 8 to 8 computations (0% saved)

sample663.0ms (24.1%)

Memory

37.7MiB live, 1 080.4MiB allocated

Samples

454.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 219.0ms

ival-sub: 87.0ms (39.7% of total)

ival-div: 67.0ms (30.5% of total)

ival-fabs: 50.0ms (22.8% of total)

ival-true: 6.0ms (2.7% of total)

exact: 5.0ms (2.3% of total)

ival-assert: 3.0ms (1.4% of total)

Bogosity

explain277.0ms (10.1%)

Memory

21.7MiB live, 97.0MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`a`
-	-	`#s(literal 2 binary64)`
-	-	`(fabs.f64 (-.f64 a b))`
-	-	`(-.f64 a b)`
-	-	`b`
-	-	`(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

23.0ms

512×

valid

Compiler

Compiled 58 to 28 computations (51.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-sub: 3.0ms (29% of total)

ival-div: 3.0ms (29% of total)

ival-fabs: 3.0ms (29% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess34.0ms (1.2%)

Memory

-34.6MiB live, 27.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	44	30
2	85	30
3	154	30
4	209	30
5	236	30
6	253	30
7	263	30
0	6	6
0	9	6
1	13	6
2	20	6
3	28	6
4	47	6
5	96	6
6	149	6
7	171	6
8	183	6
9	186	6
0	186	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))

Outputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))

Symmetry

(sort a b)

Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated
Compiler: Compiled 6 to 6 computations (0% saved)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))

Compiler

Compiled 6 to 6 computations (0% saved)

simplify6.0ms (0.2%)

Memory

7.8MiB live, 7.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 b a)
cost-diff	0	(fabs.f64 (-.f64 b a))
cost-diff	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	16
1	14	16
2	21	16
3	29	16
4	48	16
5	95	16
6	150	16
7	173	16
8	183	16
0	183	16

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
#s(literal 1/2 binary64)
(fabs.f64 (-.f64 b a))
(-.f64 b a)
b
a

Outputs
(*.f64 (fabs.f64 (-.f64 a b)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(fabs.f64 (-.f64 a b))
(-.f64 b a)
b
a

localize20.0ms (0.7%)

Memory

-3.4MiB live, 32.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
accuracy	0	(-.f64 b a)
accuracy	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
accuracy	0	(fabs.f64 (-.f64 b a))

Samples

14.0ms

256×

valid

Compiler

Compiled 34 to 14 computations (58.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 8.0ms

ival-mult: 4.0ms (50.9% of total)

ival-sub: 2.0ms (25.4% of total)

ival-fabs: 1.0ms (12.7% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series4.0ms (0.2%)

Memory

7.8MiB live, 7.8MiB allocated

Counts

3 → 72

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())

Inputs

#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())

#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())

#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 b a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (-.f64 b a) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	a	@	inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a))
1.0ms	b	@	inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a))
1.0ms	b	@	-inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a))
0.0ms	a	@	-inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a))
0.0ms	b	@	0	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a))

simplify124.0ms (4.5%)

Memory

-15.0MiB live, 96.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	303
1	83	303
2	191	303
3	548	303
4	1608	303
5	2452	303
6	3335	303
7	4921	303
8	5426	303
9	5802	303
10	6323	303
11	6991	303
12	7745	303
0	8004	303

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 72

Calls

Call 1

Inputs
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(- b a)
(- b a)
(- b a)
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
b
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(+ b (* -1 a))
(+ b (* -1 a))
(+ b (* -1 a))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(* -1 a)
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))

Outputs
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)

rewrite150.0ms (5.4%)

Memory

49.5MiB live, 238.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	9	13
1	29	13
2	174	13
3	1646	13
0	8444	13

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

3 → 304

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
(fabs.f64 (-.f64 b a))
(-.f64 b a)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval50.0ms (1.8%)

Memory: -16.1MiB live, 141.4MiB allocated
Compiler: Compiled 9 543 to 1 333 computations (86% saved)

prune7.0ms (0.3%)

Memory

-17.4MiB live, 21.9MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	374	2	376
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	374	3	377

Accuracy

100.0%

Counts

377 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
▶	52.4%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
▶	50.3%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify7.0ms (0.2%)

Memory

10.9MiB live, 10.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(neg.f64 a)
cost-diff	0	#s(approx (- b a) (neg.f64 a))
cost-diff	0	(fabs.f64 #s(approx (- b a) (neg.f64 a)))
cost-diff	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
cost-diff	0	#s(approx (- b a) b)
cost-diff	0	(fabs.f64 #s(approx (- b a) b))
cost-diff	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
0	16	47
1	23	47
2	28	47
3	35	47
4	44	47
5	61	47
6	87	47
7	113	47
8	156	47
9	171	47
10	179	47
0	179	47

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))
#s(literal 1/2 binary64)
(fabs.f64 #s(approx (- b a) b))
#s(approx (- b a) b)
b
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
#s(literal 1/2 binary64)
(fabs.f64 #s(approx (- b a) (neg.f64 a)))
#s(approx (- b a) (neg.f64 a))
(neg.f64 a)
a

Outputs
(*.f64 (fabs.f64 #s(approx (- b a) b)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(fabs.f64 #s(approx (- b a) b))
#s(approx (- b a) b)
b
(*.f64 (fabs.f64 #s(approx (- b a) (neg.f64 a))) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(fabs.f64 #s(approx (- b a) (neg.f64 a)))
#s(approx (- b a) (neg.f64 a))
(neg.f64 a)
a

localize50.0ms (1.8%)

Memory

-3.9MiB live, 34.6MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
accuracy	0	(neg.f64 a)
accuracy	0	(fabs.f64 #s(approx (- b a) (neg.f64 a)))
accuracy	30.98229156336083	#s(approx (- b a) (neg.f64 a))
accuracy	0	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))
accuracy	0	(fabs.f64 #s(approx (- b a) b))
accuracy	32.39346718443281	#s(approx (- b a) b)

Samples

15.0ms

256×

valid

Compiler

Compiled 81 to 20 computations (75.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 7.0ms

ival-sub: 2.0ms (29.2% of total)

ival-fabs: 2.0ms (29.2% of total)

ival-mult: 2.0ms (29.2% of total)

ival-neg: 1.0ms (14.6% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series5.0ms (0.2%)

Memory

6.0MiB live, 6.0MiB allocated

Counts

7 → 156

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (neg.f64 a) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	a	@	inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (neg a))
0.0ms	a	@	-inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (neg a))
0.0ms	b	@	-inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (neg a))
0.0ms	b	@	inf	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (neg a))
0.0ms	b	@	0	((* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (* 1/2 (fabs (- b a))) (fabs (- b a)) (- b a) (neg a))

simplify163.0ms (5.9%)

Memory

-31.0MiB live, 113.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	630
1	83	630
2	191	630
3	548	630
4	1608	630
5	2452	630
6	3335	630
7	4921	630
8	5426	630
9	5802	630
10	6323	630
11	6991	630
12	7745	630
0	8004	630

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 156

Calls

Call 1

Inputs
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(- b a)
(- b a)
(- b a)
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(- b a)
(- b a)
(- b a)
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
b
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
b
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(+ b (* -1 a))
(+ b (* -1 a))
(+ b (* -1 a))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(+ b (* -1 a))
(+ b (* -1 a))
(+ b (* -1 a))
(* -1 a)
(* -1 a)
(* -1 a)
(* -1 a)
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* -1 a)
(* -1 a)
(* -1 a)
(* -1 a)
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(* -1 a)
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(* -1 a)
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 a)
(* -1 a)
(* -1 a)
(* -1 a)

Outputs
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)
(neg.f64 a)

rewrite121.0ms (4.4%)

Memory

5.5MiB live, 167.7MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	43
0	16	43
1	40	43
2	175	43
3	1607	39
0	9688	39

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

7 → 74

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))
(fabs.f64 #s(approx (- b a) b))
#s(approx (- b a) b)
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
(fabs.f64 #s(approx (- b a) (neg.f64 a)))
#s(approx (- b a) (neg.f64 a))
(neg.f64 a)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval48.0ms (1.7%)

Memory: 1.2MiB live, 39.1MiB allocated
Compiler: Compiled 2 733 to 304 computations (88.9% saved)

prune5.0ms (0.2%)

Memory

18.9MiB live, 18.9MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	229	1	230
Fresh	0	0	0
Picked	1	1	2
Done	0	1	1
Total	230	3	233

Accuracy

100.0%

Counts

233 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.4%	(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
✓	100.0%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
✓	50.3%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Compiler

Compiled 22 to 20 computations (9.1% saved)

simplify6.0ms (0.2%)

Memory

6.6MiB live, 6.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (- b a) a)
cost-diff	0	(fabs.f64 #s(approx (- b a) a))
cost-diff	0	(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
0	9	21
1	12	21
2	17	21
3	23	21
4	32	21
5	47	21
6	80	21
7	105	21
8	147	21
9	162	21
10	170	21
0	170	21

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
(fabs.f64 #s(approx (- b a) a))
#s(approx (- b a) a)
a
#s(literal 1/2 binary64)

Outputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) a)))
(fabs.f64 #s(approx (- b a) a))
#s(approx (- b a) a)
a
#s(literal 1/2 binary64)

localize95.0ms (3.5%)

Memory

-13.6MiB live, 30.2MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
accuracy	0	(fabs.f64 #s(approx (- b a) a))
accuracy	62.44996800549719	#s(approx (- b a) a)

Samples

19.0ms

256×

valid

Compiler

Compiled 38 to 15 computations (60.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

ival-sub: 2.0ms (39.8% of total)

ival-mult: 2.0ms (39.8% of total)

ival-fabs: 1.0ms (19.9% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated

Counts

3 → 72

Calls

Call 1

Inputs

#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())

#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())

#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- b a) a)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (- b a) a) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	b	@	-inf	((* (fabs (- b a)) 1/2) (fabs (- b a)) (- b a))
0.0ms	b	@	inf	((* (fabs (- b a)) 1/2) (fabs (- b a)) (- b a))
0.0ms	a	@	-inf	((* (fabs (- b a)) 1/2) (fabs (- b a)) (- b a))
0.0ms	a	@	inf	((* (fabs (- b a)) 1/2) (fabs (- b a)) (- b a))
0.0ms	b	@	0	((* (fabs (- b a)) 1/2) (fabs (- b a)) (- b a))

simplify164.0ms (6%)

Memory

3.3MiB live, 76.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	303
1	83	303
2	191	303
3	548	303
4	1608	303
5	2452	303
6	3335	303
7	4921	303
8	5426	303
9	5802	303
10	6323	303
11	6991	303
12	7745	303
0	8004	303

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 72

Calls

Call 1

Inputs
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(- b a)
(- b a)
(- b a)
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* b (+ 1 (* -1 (/ a b))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(* 1/2 (fabs (neg (+ a (* -1 b)))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
(fabs (neg (+ a (* -1 b))))
b
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* -1 (* b (- (/ a b) 1)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
b
(+ b (* -1 a))
(+ b (* -1 a))
(+ b (* -1 a))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(* 1/2 (fabs (- b a)))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(fabs (- b a))
(* -1 a)
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* a (- (/ b a) 1))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(* 1/2 (fabs (+ b (* -1 a))))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(fabs (+ b (* -1 a)))
(* -1 a)
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))
(* -1 (* a (+ 1 (* -1 (/ b a)))))

Outputs
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
b
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (-.f64 b a)) #s(literal 1/2 binary64))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(fabs.f64 (-.f64 b a))
(neg.f64 a)
(-.f64 b a)
(-.f64 b a)
(-.f64 b a)

rewrite129.0ms (4.7%)

Memory

8.0MiB live, 128.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
0	9	19
1	27	19
2	148	19
3	1375	19
0	9694	19

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

3 → 30

Calls

Call 1

Inputs
(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
(fabs.f64 #s(approx (- b a) a))
#s(approx (- b a) a)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval31.0ms (1.1%)

Memory: -20.8MiB live, 16.3MiB allocated
Compiler: Compiled 1 232 to 128 computations (89.6% saved)

prune4.0ms (0.1%)

Memory

9.9MiB live, 9.9MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	102	3	105

Accuracy

100.0%

Counts

105 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	52.4%	(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
✓	100.0%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
✓	50.3%	(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Compiler

Compiled 59 to 41 computations (30.5% saved)

regimes15.0ms (0.6%)

Memory

-12.9MiB live, 23.7MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))
(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))
(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))
(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))

Outputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))

Calls

5 calls:

5.0ms	b
2.0ms	(fabs.f64 (-.f64 a b))
2.0ms	(-.f64 a b)
2.0ms	(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))
2.0ms	a

Results

Accuracy	Segments	Branch
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))`
100.0%	1	`(fabs.f64 (-.f64 a b))`
100.0%	1	`(-.f64 a b)`

Compiler

Compiled 15 to 17 computations (-13.3% saved)

regimes29.0ms (1.1%)

Memory

-2.7MiB live, 46.4MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs

(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))

(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) (neg.f64 a))))

Outputs
(*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Calls

5 calls:

14.0ms	a
9.0ms	b
2.0ms	(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))
2.0ms	(fabs.f64 (-.f64 a b))
2.0ms	(-.f64 a b)

Results

Accuracy	Segments	Branch
83.5%	2	`a`
78.8%	2	`b`
62.0%	4	`(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))`
62.0%	4	`(fabs.f64 (-.f64 a b))`
62.0%	4	`(-.f64 a b)`

Compiler

Compiled 15 to 17 computations (-13.3% saved)

regimes7.0ms (0.3%)

Memory

16.9MiB live, 16.9MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Outputs
(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Calls

5 calls:

1.0ms	(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))
1.0ms	a
1.0ms	(fabs.f64 (-.f64 a b))
1.0ms	(-.f64 a b)
1.0ms	b

Results

Accuracy	Segments	Branch
50.3%	1	`(/.f64 (fabs.f64 (-.f64 a b)) #s(literal 2 binary64))`
50.3%	1	`(fabs.f64 (-.f64 a b))`
50.3%	1	`(-.f64 a b)`
50.3%	1	`b`
50.3%	1	`a`

Compiler

Compiled 15 to 17 computations (-13.3% saved)

bsearch16.0ms (0.6%)

Memory

-14.1MiB live, 23.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	-1.2032434674938515e-56	-1.2746636092953156e-59

Samples

9.0ms

128×

valid

Compiler

Compiled 137 to 139 computations (-1.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 3.0ms

ival-sub: 1.0ms (37.3% of total)

ival-div: 1.0ms (37.3% of total)

ival-fabs: 1.0ms (37.3% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

simplify31.0ms (1.1%)

Memory

12.2MiB live, 50.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	23	34
2	30	34
3	35	34
4	38	34
5	39	34

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 b a)))

(if (<=.f64 a #s(literal -4593802368423799/3533694129556768659166595001485837031654967793751237916243212402585239552 binary64)) (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b))))

(*.f64 #s(literal 1/2 binary64) (fabs.f64 #s(approx (- b a) b)))

Outputs

(*.f64 (fabs.f64 (-.f64 a b)) #s(literal 1/2 binary64))

(if (<=.f64 a #s(literal -4593802368423799/3533694129556768659166595001485837031654967793751237916243212402585239552 binary64)) (*.f64 (fabs.f64 #s(approx (- b a) a)) #s(literal 1/2 binary64)) (*.f64 (fabs.f64 #s(approx (- b a) b)) #s(literal 1/2 binary64)))

(*.f64 (fabs.f64 #s(approx (- b a) b)) #s(literal 1/2 binary64))

soundness456.0ms (16.6%)

Memory

1.5MiB live, 267.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	43
0	16	43
1	40	43
2	175	43
3	1607	39
0	9688	39
0	31	303
1	83	303
2	191	303
3	548	303
4	1608	303
5	2452	303
6	3335	303
7	4921	303
8	5426	303
9	5802	303
10	6323	303
11	6991	303
12	7745	303
0	8004	303
0	6	6
0	9	6
1	13	6
2	20	6
3	28	6
4	47	6
5	96	6
6	149	6
7	171	6
8	183	6
9	186	6
0	186	6

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 137 to 85 computations (38% saved)

preprocess30.0ms (1.1%)

Memory: 9.1MiB live, 82.2MiB allocated
Remove: (sort a b)
Compiler: Compiled 116 to 80 computations (31% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	16	34
1	44	30
2	85	30
3	154	30
4	209	30
5	236	30
6	253	30
7	263	30
0	6	6
0	9	6
1	13	6
2	20	6
3	28	6
4	47	6
5	96	6
6	149	6
7	171	6
8	183	6
9	186	6
0	186	6

Iter	Nodes	Cost
0	11	47
0	16	47
1	23	47
2	28	47
3	35	47
4	44	47
5	61	47
6	87	47
7	113	47
8	156	47
9	171	47
10	179	47
0	179	47

Iter	Nodes	Cost
0	7	21
0	9	21
1	12	21
2	17	21
3	23	21
4	32	21
5	47	21
6	80	21
7	105	21
8	147	21
9	162	21
10	170	21
0	170	21

Iter	Nodes	Cost
0	16	34
1	44	30
2	85	30
3	154	30
4	209	30
5	236	30
6	253	30
7	263	30
0	6	6
0	9	6
1	13	6
2	20	6
3	28	6
4	47	6
5	96	6
6	149	6
7	171	6
8	183	6
9	186	6
0	186	6

Iter	Nodes	Cost
0	11	47
0	16	47
1	23	47
2	28	47
3	35	47
4	44	47
5	61	47
6	87	47
7	113	47
8	156	47
9	171	47
10	179	47
0	179	47

Iter	Nodes	Cost
0	7	21
0	9	21
1	12	21
2	17	21
3	23	21
4	32	21
5	47	21
6	80	21
7	105	21
8	147	21
9	162	21
10	170	21
0	170	21

start0.0ms (0%)

analyze0.0ms (0%)

sample663.0ms (24.1%)

explain277.0ms (10.1%)

preprocess34.0ms (1.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.2%)

localize20.0ms (0.7%)

series4.0ms (0.2%)

simplify124.0ms (4.5%)

rewrite150.0ms (5.4%)

eval50.0ms (1.8%)

prune7.0ms (0.3%)

simplify7.0ms (0.2%)

localize50.0ms (1.8%)

series5.0ms (0.2%)

simplify163.0ms (5.9%)

rewrite121.0ms (4.4%)

eval48.0ms (1.7%)

prune5.0ms (0.2%)

simplify6.0ms (0.2%)

localize95.0ms (3.5%)

series3.0ms (0.1%)

simplify164.0ms (6%)

rewrite129.0ms (4.7%)

eval31.0ms (1.1%)

prune4.0ms (0.1%)

regimes15.0ms (0.6%)

regimes29.0ms (1.1%)

regimes7.0ms (0.3%)

bsearch16.0ms (0.6%)

simplify31.0ms (1.1%)

soundness456.0ms (16.6%)

preprocess30.0ms (1.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	34
1	44	30
2	85	30
3	154	30
4	209	30
5	236	30
6	253	30
7	263	30
0	6	6
0	9	6
1	13	6
2	20	6
3	28	6
4	47	6
5	96	6
6	149	6
7	171	6
8	183	6
9	186	6
0	186	6

Iter	Nodes	Cost
0	11	47
0	16	47
1	23	47
2	28	47
3	35	47
4	44	47
5	61	47
6	87	47
7	113	47
8	156	47
9	171	47
10	179	47
0	179	47

Iter	Nodes	Cost
0	7	21
0	9	21
1	12	21
2	17	21
3	23	21
4	32	21
5	47	21
6	80	21
7	105	21
8	147	21
9	162	21
10	170	21
0	170	21