Metrics for Data.Colour.CIE:cieLAB from colour-2.3.3, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 7 to 7 computations (0% saved)

sample870.0ms (20.6%)

Memory

11.6MiB live, 605.4MiB allocated

Samples

479.0ms

8 256×

valid

Precisions

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

ival-add: 155.0ms (67.9% of total)

ival-div: 57.0ms (25% of total)

exact: 8.0ms (3.5% of total)

ival-true: 5.0ms (2.2% of total)

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

Bogosity

explain101.0ms (2.4%)

Memory

-9.8MiB live, 105.4MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))`
-	-	`(+.f64 x #s(literal 16 binary64))`
-	-	`#s(literal 16 binary64)`
-	-	`#s(literal 116 binary64)`
-	-	`x`

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

34.0ms

512×

valid

Compiler

Compiled 42 to 24 computations (42.9% saved)

Precisions

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

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

ival-add: 3.0ms (39.3% of total)

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

exact: 0.0ms (0% of total)

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

preprocess32.0ms (0.8%)

Memory

-2.4MiB live, 41.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	19	10
2	34	10
3	75	10
4	161	10
5	240	10
6	258	10
7	262	10
0	5	5
0	7	5
1	8	5
0	8	5

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Outputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(/.f64 (+.f64 #s(literal 16 binary64) x) #s(literal 116 binary64))

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Compiler

Compiled 5 to 5 computations (0% saved)

simplify3.0ms (0.1%)

Memory

7.3MiB live, 7.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 x #s(literal 16 binary64))
cost-diff	0	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	8	11
0	8	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(+.f64 x #s(literal 16 binary64))
x
#s(literal 16 binary64)
#s(literal 116 binary64)

Outputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(/.f64 (+.f64 #s(literal 16 binary64) x) #s(literal 116 binary64))
(+.f64 x #s(literal 16 binary64))
(+.f64 #s(literal 16 binary64) x)
x
#s(literal 16 binary64)
#s(literal 116 binary64)

localize30.0ms (0.7%)

Memory

5.6MiB live, 44.9MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(+.f64 x #s(literal 16 binary64))
accuracy	0.01171875	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Samples

25.0ms

256×

valid

Compiler

Compiled 24 to 12 computations (50% saved)

Precisions

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

ival-div: 17.0ms (88.9% of total)

ival-add: 2.0ms (10.5% of total)

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

exact: 0.0ms (0% of total)

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

series43.0ms (1%)

Memory

-34.7MiB live, 4.9MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs
#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())
#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())

Inputs

#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())

#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())

Outputs
#s(alt 4/29 (taylor 0 x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt 16 (taylor 0 x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 16 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 16 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 16 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) (patch (/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 16 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 16 binary64)) (patch (+.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	((/ (+ x 16) 116) (+ x 16))
0.0ms	x	@	-inf	((/ (+ x 16) 116) (+ x 16))
0.0ms	x	@	0	((/ (+ x 16) 116) (+ x 16))

simplify6.0ms (0.1%)

Memory

15.7MiB live, 15.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	82
1	41	82
2	67	82
3	140	82
4	140	82
5	143	82
6	148	82
7	148	82
0	148	73

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 22

Calls

Call 1

Inputs
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
16
(+ 16 x)
(+ 16 x)
(+ 16 x)
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
x
(* x (+ 1 (* 16 (/ 1 x))))
(* x (+ 1 (* 16 (/ 1 x))))
(* x (+ 1 (* 16 (/ 1 x))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
x
(* x (+ 1 (* 16 (/ 1 x))))
(* x (+ 1 (* 16 (/ 1 x))))
(* x (+ 1 (* 16 (/ 1 x))))

Outputs
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
16
#s(literal 16 binary64)
(+ 16 x)
(+.f64 #s(literal 16 binary64) x)
(+ 16 x)
(+.f64 #s(literal 16 binary64) x)
(+ 16 x)
(+.f64 #s(literal 16 binary64) x)
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
x
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
x
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)
(* x (+ 1 (* 16 (/ 1 x))))
(+.f64 #s(literal 16 binary64) x)

rewrite209.0ms (4.9%)

Memory

29.8MiB live, 142.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	33	8
2	177	8
3	1440	8
0	8404	7

Stop Event

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

Counts

2 → 416

Calls

Call 1

Inputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(+.f64 x #s(literal 16 binary64))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval86.0ms (2%)

Memory: -6.7MiB live, 64.6MiB allocated
Compiler: Compiled 8 443 to 1 239 computations (85.3% saved)

prune31.0ms (0.7%)

Memory

-24.7MiB live, 26.0MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	434	4	438
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	434	5	439

Accuracy

100.0%

Counts

439 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
▶	67.8%	(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
✓	100.0%	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
▶	49.3%	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
▶	52.2%	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Compiler

Compiled 29 to 28 computations (3.4% saved)

simplify212.0ms (5%)

Memory

28.5MiB live, 103.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
cost-diff	0	(pow.f64 x #s(literal 3 binary64))
cost-diff	0	(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
cost-diff	0	(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
cost-diff	128	(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
cost-diff	0	(*.f64 x #s(literal 1/116 binary64))
cost-diff	0	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
cost-diff	0	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	74
0	30	74
1	56	74
2	110	74
3	225	74
4	474	74
5	830	74
6	1308	74
7	1777	74
8	2324	72
9	3703	72
10	3986	72
11	4098	72
12	4195	72
13	4291	72
14	4296	72
15	4555	72
16	4667	72
17	4679	72
18	4679	72
19	4679	72
0	4679	70

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(literal 4/29 binary64)
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
(*.f64 x #s(literal 1/116 binary64))
x
#s(literal 1/116 binary64)
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal -4096 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
#s(literal -116 binary64)
(fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))
(-.f64 x #s(literal 16 binary64))
#s(literal 16 binary64)
#s(literal 256 binary64)
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
x
#s(literal 1/116 binary64)
#s(literal 4/29 binary64)

Outputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(literal 4/29 binary64)
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
#s(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x))
(*.f64 x #s(literal 1/116 binary64))
(*.f64 #s(literal 1/116 binary64) x)
x
#s(literal 1/116 binary64)
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal -4096 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
#s(literal -116 binary64)
(fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))
(fma.f64 (-.f64 x #s(literal 16 binary64)) x #s(literal 256 binary64))
(-.f64 x #s(literal 16 binary64))
#s(literal 16 binary64)
#s(literal 256 binary64)
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
x
#s(literal 1/116 binary64)
#s(literal 4/29 binary64)

localize87.0ms (2.1%)

Memory

-12.9MiB live, 79.8MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.03125	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
accuracy	0	(-.f64 x #s(literal 16 binary64))
accuracy	0	(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
accuracy	0.1015625	(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
accuracy	20.088269536428523	(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
accuracy	0.08203125	(*.f64 x #s(literal 1/116 binary64))
accuracy	32.40413707138826	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
accuracy	30.572809686868947	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Samples

63.0ms

256×

valid

Compiler

Compiled 138 to 40 computations (71% saved)

Precisions

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

ival-add: 13.0ms (37.2% of total)

const: 6.0ms (17.2% of total)

ival-mult: 5.0ms (14.3% of total)

ival-pow: 4.0ms (11.5% of total)

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

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

exact: 1.0ms (2.9% of total)

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

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

series21.0ms (0.5%)

Memory

-26.8MiB live, 10.8MiB allocated

Counts

9 → 108

Calls

Call 1

Inputs
#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())
#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())
#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())
#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())

Outputs
#s(alt 4/29 (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt 4/29 (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt -29696 (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 1856 x) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt 4/29 (taylor 0 x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt -4096 (taylor 0 x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt 4/29 (taylor 0 x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt -16 (taylor 0 x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (- x 16) (taylor 0 x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (- x 16) (taylor 0 x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (- x 16) (taylor 0 x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (- 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (- 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (- 1 (* 16 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) (patch #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (patch #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 1/116 binary64)) (patch (.f64 x #s(literal 1/116 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor -inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) (patch (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* 16 (/ 1 x)) 1))) (taylor -inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* 16 (/ 1 x)) 1))) (taylor -inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* 16 (/ 1 x)) 1))) (taylor -inf x) (#s(alt (-.f64 x #s(literal 16 binary64)) (patch (-.f64 x #s(literal 16 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))
2.0ms	x	@	-inf	((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))
2.0ms	x	@	0	((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))

Time

Variable

Point

Expression

2.0ms

inf

((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))

2.0ms

-inf

((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))

2.0ms

((/ (+ x 16) 116) (/ (+ x 16) 116) (* x 1/116) (* -116 (+ (* x (- x 16)) 256)) (/ (- -4096 (pow x 3)) (* -116 (+ (* x (- x 16)) 256))) (- -4096 (pow x 3)) (pow x 3) (+ (* x 1/116) 4/29) (- x 16))

simplify152.0ms (3.6%)

Memory

9.1MiB live, 84.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	461
1	149	461
2	376	452
3	1020	448
4	3050	448
5	5411	448
0	8104	397

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 106

Calls

Call 1

Inputs
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
-29696
(- (* 1856 x) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
-4096
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
-16
(- x 16)
(- x 16)
(- x 16)
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
x
(* x (- 1 (* 16 (/ 1 x))))
(* x (- 1 (* 16 (/ 1 x))))
(* x (- 1 (* 16 (/ 1 x))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
(* 1/116 x)
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
x
(* -1 (* x (- (* 16 (/ 1 x)) 1)))
(* -1 (* x (- (* 16 (/ 1 x)) 1)))
(* -1 (* x (- (* 16 (/ 1 x)) 1)))

Outputs
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
-29696
#s(literal -29696 binary64)
(- (* 1856 x) 29696)
(fma.f64 #s(literal 1856 binary64) x #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
-4096
#s(literal -4096 binary64)
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
-16
#s(literal -16 binary64)
(- x 16)
(-.f64 x #s(literal 16 binary64))
(- x 16)
(-.f64 x #s(literal 16 binary64))
(- x 16)
(-.f64 x #s(literal 16 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* -116 (pow x 2))
(.f64 (.f64 x x) #s(literal -116 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
x
(* x (- 1 (* 16 (/ 1 x))))
(-.f64 x #s(literal 16 binary64))
(* x (- 1 (* 16 (/ 1 x))))
(-.f64 x #s(literal 16 binary64))
(* x (- 1 (* 16 (/ 1 x))))
(-.f64 x #s(literal 16 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* -116 (pow x 2))
(.f64 (.f64 x x) #s(literal -116 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
x
(* -1 (* x (- (* 16 (/ 1 x)) 1)))
(-.f64 x #s(literal 16 binary64))
(* -1 (* x (- (* 16 (/ 1 x)) 1)))
(-.f64 x #s(literal 16 binary64))
(* -1 (* x (- (* 16 (/ 1 x)) 1)))
(-.f64 x #s(literal 16 binary64))

rewrite183.0ms (4.3%)

Memory

39.4MiB live, 150.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	56
0	30	66
1	135	66
2	915	44
0	8551	43

Stop Event

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

Counts

9 → 798

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
(*.f64 x #s(literal 1/116 binary64))
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(-.f64 x #s(literal 16 binary64))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval233.0ms (5.5%)

Memory: -26.3MiB live, 163.1MiB allocated
Compiler: Compiled 21 262 to 1 764 computations (91.7% saved)

prune64.0ms (1.5%)

Memory

-0.1MiB live, 48.5MiB allocated

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	903	1	904
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	904	5	909

Accuracy

100.0%

Counts

909 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
▶	67.9%	(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
✓	100.0%	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
✓	49.3%	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
✓	52.2%	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify187.0ms (4.4%)

Memory

25.7MiB live, 63.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 x)
cost-diff	0	(*.f64 (neg.f64 x) x)
cost-diff	0	(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
cost-diff	128	(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	51
0	21	51
1	46	51
2	74	47
3	132	47
4	213	47
5	269	47
6	426	47
7	716	47
8	1250	47
9	1884	47
10	2430	47
11	3751	47
12	3964	47
13	4003	47
14	4016	47
15	4022	47
16	4026	47
17	4215	47
18	4307	47
19	4311	47
20	4311	47
21	4311	47
0	4311	45

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x
#s(literal -4096 binary64)
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
#s(literal -116 binary64)
(fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))
(-.f64 x #s(literal 16 binary64))
#s(literal 16 binary64)
#s(literal 256 binary64)

Outputs
(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x
#s(literal -4096 binary64)
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
#s(literal -116 binary64)
(fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))
(fma.f64 (-.f64 x #s(literal 16 binary64)) x #s(literal 256 binary64))
(-.f64 x #s(literal 16 binary64))
#s(literal 16 binary64)
#s(literal 256 binary64)

localize66.0ms (1.6%)

Memory

-3.3MiB live, 35.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 x)
accuracy	0.0390625	(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
accuracy	0.1015625	(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
accuracy	20.088269536428523	(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))

Samples

57.0ms

256×

valid

Compiler

Compiled 109 to 28 computations (74.3% saved)

Precisions

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

ival-add: 32.0ms (73.8% of total)

ival-mult: 6.0ms (13.8% of total)

ival-div: 2.0ms (4.6% of total)

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

ival-neg: 1.0ms (2.3% 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.1%)

Memory

7.0MiB live, 7.0MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())
#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())

Outputs
#s(alt -29696 (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 1856 x) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt 4/29 (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt -4096 (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) (patch (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

((* -116 (+ (* x (- x 16)) 256)) (/ (+ (* (* (neg x) x) x) -4096) (* -116 (+ (* x (- x 16)) 256))) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) -4096))

1.0ms

-inf

((* -116 (+ (* x (- x 16)) 256)) (/ (+ (* (* (neg x) x) x) -4096) (* -116 (+ (* x (- x 16)) 256))) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) -4096))

1.0ms

((* -116 (+ (* x (- x 16)) 256)) (/ (+ (* (* (neg x) x) x) -4096) (* -116 (+ (* x (- x 16)) 256))) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) -4096))

simplify221.0ms (5.2%)

Memory

-2.2MiB live, 82.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	275
1	129	275
2	314	266
3	869	262
4	2402	262
5	4169	262
6	7024	262
0	8114	238

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

Inputs
-29696
(- (* 1856 x) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
-4096
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))

Outputs
-29696
#s(literal -29696 binary64)
(- (* 1856 x) 29696)
(fma.f64 x #s(literal 1856 binary64) #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
-4096
#s(literal -4096 binary64)
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -116 (pow x 2))
(.f64 (.f64 x x) #s(literal -116 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* 1/116 x)
(*.f64 #s(literal 1/116 binary64) x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -116 (pow x 2))
(.f64 (.f64 x x) #s(literal -116 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* 1/116 x)
(*.f64 #s(literal 1/116 binary64) x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))

rewrite280.0ms (6.6%)

Memory

-22.7MiB live, 138.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	37
0	21	37
1	94	35
2	596	33
3	6850	33
0	8116	31

Stop Event

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

Counts

5 → 383

Calls

Call 1

Inputs
(*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval217.0ms (5.1%)

Memory: 10.7MiB live, 121.9MiB allocated
Compiler: Compiled 10 615 to 1 130 computations (89.4% saved)

prune13.0ms (0.3%)

Memory

-7.6MiB live, 37.6MiB allocated

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	442	1	443
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	443	5	448

Accuracy

100.0%

Counts

448 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
▶	67.9%	(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
✓	100.0%	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
✓	49.3%	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
✓	52.2%	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Compiler

Compiled 30 to 27 computations (10% saved)

simplify57.0ms (1.4%)

Memory

17.7MiB live, 56.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))
cost-diff	0	(neg.f64 x)
cost-diff	0	(*.f64 (neg.f64 x) x)
cost-diff	0	(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	44
0	20	44
1	34	44
2	53	40
3	98	40
4	116	40
5	140	40
6	204	40
7	305	40
8	472	40
9	706	40
10	957	40
11	1368	40
12	2049	40
13	2093	40
14	2124	40
15	2127	40
16	2127	40
0	2127	40

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x
#s(literal -4096 binary64)
(fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64))
#s(literal -116 binary64)
#s(literal 1856 binary64)
#s(literal -29696 binary64)

Outputs
(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x
#s(literal -4096 binary64)
(fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64))
(fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64))
#s(literal -116 binary64)
#s(literal 1856 binary64)
#s(literal -29696 binary64)

localize40.0ms (0.9%)

Memory

-22.2MiB live, 53.8MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 x)
accuracy	0.0390625	(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))
accuracy	0.05859375	(fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))
accuracy	20.088269536428523	(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))

Samples

22.0ms	254×	0	valid
0.0ms	2×	1	valid

Compiler

Compiled 97 to 27 computations (72.2% saved)

Precisions

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

ival-mult: 6.0ms (40.4% of total)

ival-add: 5.0ms (33.7% of total)

ival-div: 2.0ms (13.5% of total)

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

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

series7.0ms (0.2%)

Memory

10.8MiB live, 10.8MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())

Outputs
#s(alt 4/29 (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 4/29 (* 1/116 x)) (taylor 0 x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt -29696 (taylor 0 x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 1856 x) 29696) (taylor 0 x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* x (+ 1856 (* -116 x))) 29696) (taylor 0 x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt -4096 (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (pow x 3)) 4096) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2))))) (taylor inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/116 x) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1/116 (* 4/29 (/ 1 x)))) (taylor -inf x) (#s(alt (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) (patch (/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -116 (pow x 2)) (taylor -inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* 1856 (/ 1 x)) 116)) (taylor -inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116)) (taylor -inf x) (#s(alt (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) (patch (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3)))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (patch (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

inf

((/ (+ (* (* (neg x) x) x) -4096) (+ (* (+ (* x -116) 1856) x) -29696)) (* (neg x) x) (neg x) (+ (* (+ (* x -116) 1856) x) -29696) (+ (* (* (neg x) x) x) -4096))

1.0ms

-inf

((/ (+ (* (* (neg x) x) x) -4096) (+ (* (+ (* x -116) 1856) x) -29696)) (* (neg x) x) (neg x) (+ (* (+ (* x -116) 1856) x) -29696) (+ (* (* (neg x) x) x) -4096))

1.0ms

((/ (+ (* (* (neg x) x) x) -4096) (+ (* (+ (* x -116) 1856) x) -29696)) (* (neg x) x) (neg x) (+ (* (+ (* x -116) 1856) x) -29696) (+ (* (* (neg x) x) x) -4096))

simplify178.0ms (4.2%)

Memory

15.3MiB live, 161.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	275
1	129	275
2	314	266
3	870	262
4	2385	262
5	4147	262
6	7006	262
0	8122	238

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

Inputs
4/29
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(+ 4/29 (* 1/116 x))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
-29696
(- (* 1856 x) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
(- (* x (+ 1856 (* -116 x))) 29696)
-4096
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(- (* -1 (pow x 3)) 4096)
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* 1/116 x)
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -116 (pow x 2))
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(* -1 (pow x 3))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))

Outputs
4/29
#s(literal 4/29 binary64)
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(+ 4/29 (* 1/116 x))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
-29696
#s(literal -29696 binary64)
(- (* 1856 x) 29696)
(fma.f64 #s(literal 1856 binary64) x #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(- (* x (+ 1856 (* -116 x))) 29696)
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
-4096
#s(literal -4096 binary64)
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(- (* -1 (pow x 3)) 4096)
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -116 (pow x 2))
(.f64 (.f64 #s(literal -116 binary64) x) x)
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* 1856 (/ 1 x)) (+ 116 (/ 29696 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* 1/116 x)
(*.f64 x #s(literal 1/116 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* x (+ 1/116 (* 4/29 (/ 1 x))))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -116 (pow x 2))
(.f64 (.f64 #s(literal -116 binary64) x) x)
(* (pow x 2) (- (* 1856 (/ 1 x)) 116))
(*.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x)
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* (pow x 2) (- (* -1 (/ (- (* 29696 (/ 1 x)) 1856) x)) 116))
(fma.f64 (fma.f64 #s(literal -116 binary64) x #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ 1 (* 4096 (/ 1 (pow x 3))))))
(-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64)))

rewrite199.0ms (4.7%)

Memory

-6.7MiB live, 219.8MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	35
0	20	35
1	85	35
2	561	31
3	6582	31
0	8210	31

Stop Event

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

Counts

5 → 374

Calls

Call 1

Inputs
(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
(fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64))
(fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval51.0ms (1.2%)

Memory: 9.8MiB live, 120.9MiB allocated
Compiler: Compiled 11 377 to 1 164 computations (89.8% saved)

prune13.0ms (0.3%)

Memory

-13.6MiB live, 32.9MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	434	0	434
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	434	5	439

Accuracy

100.0%

Counts

439 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
✓	67.9%	(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
✓	100.0%	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
✓	49.3%	#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
✓	52.2%	#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Compiler

Compiled 90 to 57 computations (36.7% saved)

regimes39.0ms (0.9%)

Memory

-21.9MiB live, 16.6MiB allocated

Counts

7 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(/.f64 (fma.f64 (*.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (fma.f64 (fma.f64 x #s(literal -116 binary64) #s(literal 1856 binary64)) x #s(literal -29696 binary64)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) x) x #s(literal -4096 binary64)) (.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))
(/.f64 (-.f64 #s(literal -4096 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal -116 binary64) (fma.f64 x (-.f64 x #s(literal 16 binary64)) #s(literal 256 binary64))))

Outputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Calls

3 calls:

33.0ms	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
3.0ms	x
3.0ms	(+.f64 x #s(literal 16 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))`
100.0%	1	`(+.f64 x #s(literal 16 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

regimes6.0ms (0.1%)

Memory

11.6MiB live, 11.6MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))

Outputs
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))

Calls

3 calls:

2.0ms	x
2.0ms	(+.f64 x #s(literal 16 binary64))
2.0ms	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))`
100.0%	1	`(+.f64 x #s(literal 16 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

regimes5.0ms (0.1%)

Memory

10.4MiB live, 10.4MiB allocated

Counts

2 → 3

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))

Outputs
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
#s(approx (/ (+ x 16) 116) (*.f64 x #s(literal 1/116 binary64)))

Calls

3 calls:

1.0ms	x
1.0ms	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
1.0ms	(+.f64 x #s(literal 16 binary64))

Results

Accuracy	Segments	Branch
97.9%	3	`x`
97.9%	3	`(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))`
97.9%	3	`(+.f64 x #s(literal 16 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

regimes4.0ms (0.1%)

Memory

9.2MiB live, 9.2MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Outputs
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Calls

3 calls:

1.0ms	x
1.0ms	(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
1.0ms	(+.f64 x #s(literal 16 binary64))

Results

Accuracy	Segments	Branch
52.2%	1	`x`
52.2%	1	`(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))`
52.2%	1	`(+.f64 x #s(literal 16 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

bsearch1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	26.353335961048835	12418273838.260565
0.0ms	-10818649.105307722	15.999999998509217

Compiler

Compiled 8 to 9 computations (-12.5% saved)

simplify31.0ms (0.7%)

Memory

-5.1MiB live, 69.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	53
1	21	53

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(if (<=.f64 (+.f64 x #s(literal 16 binary64)) #s(literal -10000000 binary64)) #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (if (<=.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 50 binary64)) #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64)))))
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

Outputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
(/.f64 (+.f64 #s(literal 16 binary64) x) #s(literal 116 binary64))
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(if (<=.f64 (+.f64 x #s(literal 16 binary64)) #s(literal -10000000 binary64)) #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64))) (if (<=.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 50 binary64)) #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #s(approx (/ (+ x 16) 116) (.f64 x #s(literal 1/116 binary64)))))
(if (<=.f64 (+.f64 #s(literal 16 binary64) x) #s(literal -10000000 binary64)) #s(approx (/ (+ x 16) 116) (.f64 #s(literal 1/116 binary64) x)) (if (<=.f64 (+.f64 #s(literal 16 binary64) x) #s(literal 50 binary64)) #s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) #s(approx (/ (+ x 16) 116) (.f64 #s(literal 1/116 binary64) x))))
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))

soundness115.0ms (2.7%)

Memory

-1.7MiB live, 83.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	33	8
2	177	8
3	1440	8
0	8404	7
0	15	82
1	41	82
2	67	82
3	140	82
4	140	82
5	143	82
6	148	82
7	148	82
0	148	73

Stop Event

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

Compiler

Compiled 47 to 32 computations (31.9% saved)

preprocess121.0ms (2.9%)

Memory: -8.7MiB live, 67.7MiB allocated
Compiler: Compiled 76 to 44 computations (42.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample870.0ms (20.6%)

explain101.0ms (2.4%)

preprocess32.0ms (0.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize30.0ms (0.7%)

series43.0ms (1%)

simplify6.0ms (0.1%)

rewrite209.0ms (4.9%)

eval86.0ms (2%)

prune31.0ms (0.7%)

simplify212.0ms (5%)

localize87.0ms (2.1%)

series21.0ms (0.5%)

simplify152.0ms (3.6%)

rewrite183.0ms (4.3%)

eval233.0ms (5.5%)

prune64.0ms (1.5%)

simplify187.0ms (4.4%)

localize66.0ms (1.6%)

series5.0ms (0.1%)

simplify221.0ms (5.2%)

rewrite280.0ms (6.6%)

eval217.0ms (5.1%)

prune13.0ms (0.3%)

simplify57.0ms (1.4%)

localize40.0ms (0.9%)

series7.0ms (0.2%)

simplify178.0ms (4.2%)

rewrite199.0ms (4.7%)

eval51.0ms (1.2%)

prune13.0ms (0.3%)

regimes39.0ms (0.9%)

regimes6.0ms (0.1%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch1.0ms (0%)

simplify31.0ms (0.7%)

soundness115.0ms (2.7%)

preprocess121.0ms (2.9%)

end0.0ms (0%)

Profiling