Metrics for FastMath dist3

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 17 to 12 computations (29.4% saved)

Precisions

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

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.7s (42.6%)

Results

1.3s	6529×	256	valid
300.0ms	1694×	256	infinite
3.0ms	18×	512	valid
3.0ms	14×	1024	valid
0.0ms	1×	256	valid

Precisions

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

Operation ival-mult, time spent: 635.0ms, 76.0% of total-time

Operation ival-add, time spent: 184.0ms, 22.0% of total-time

Operation const, time spent: 18.0ms, 2.0% of total-time

Bogosity

preprocess406.0ms (10%)

Algorithm

1×	egg-herbie

Rules

1546×	`unsub-neg`
978×	`sub-neg`
766×	`fma-neg`
732×	`associate-+r+`
726×	`distribute-neg-in`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
5	-	-	`(+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1))`
0	-	-	`d3`
0	-	-	`(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))`
0	-	-	`d1`
0	-	-	`d2`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`(*.f64 d1 32)`
0	-	-	`5`
0	-	-	`(+.f64 d3 5)`
0	-	-	`(*.f64 (+.f64 d3 5) d1)`
0	-	-	`32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	564
1	134	453
2	431	332
3	1771	308
4	5269	308
5	6536	308
6	7434	308

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (+.f64 d3 5) (neg.f64 d1))) (*.f64 (neg.f64 d1) 32))
(+.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 (neg.f64 d3) 5) d1)) (*.f64 d1 32))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (+.f64 d3 5) (neg.f64 d1))) (*.f64 (neg.f64 d1) 32)))
(neg.f64 (+.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
(neg.f64 (+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 (neg.f64 d3) 5) d1)) (*.f64 d1 32)))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))

Outputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 32 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 32 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (+.f64 d3 5) (neg.f64 d1))) (*.f64 (neg.f64 d1) 32))
(+.f64 (fma.f64 (neg.f64 d1) d2 (.f64 (+.f64 d3 5) (neg.f64 d1))) (.f64 32 (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d1) (+.f64 d2 (+.f64 d3 5))) (.f64 d1 -32))
(*.f64 (neg.f64 d1) (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (-.f64 -37 (+.f64 d2 d3)))
(*.f64 d1 (-.f64 (-.f64 -37 d3) d2))
(+.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (.f64 d1 32) (fma.f64 d1 (neg.f64 d2) (.f64 d1 (+.f64 d3 5))))
(fma.f64 d1 32 (*.f64 d1 (+.f64 (+.f64 d3 5) (neg.f64 d2))))
(*.f64 d1 (+.f64 (neg.f64 d2) (+.f64 d3 37)))
(*.f64 d1 (+.f64 37 (-.f64 d3 d2)))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 (neg.f64 d3) 5) d1)) (*.f64 d1 32))
(+.f64 (.f64 d1 32) (fma.f64 d1 d2 (.f64 d1 (+.f64 5 (neg.f64 d3)))))
(fma.f64 d1 32 (*.f64 d1 (+.f64 d2 (-.f64 5 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 (neg.f64 d3) 37)))
(*.f64 d1 (+.f64 (-.f64 d2 d3) 37))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (+.f64 d3 5) (neg.f64 d1))) (*.f64 (neg.f64 d1) 32)))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 32 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(neg.f64 (+.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
(neg.f64 (+.f64 (.f64 d1 32) (fma.f64 d1 (neg.f64 d2) (.f64 d1 (+.f64 d3 5)))))
(-.f64 (.f64 d1 -32) (.f64 d1 (+.f64 (+.f64 d3 5) (neg.f64 d2))))
(*.f64 d1 (-.f64 -32 (-.f64 (+.f64 d3 5) d2)))
(*.f64 d1 (-.f64 -37 (-.f64 d3 d2)))
(*.f64 d1 (+.f64 (-.f64 d2 d3) -37))
(neg.f64 (+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 (neg.f64 d3) 5) d1)) (*.f64 d1 32)))
(neg.f64 (+.f64 (.f64 d1 32) (fma.f64 d1 d2 (.f64 d1 (+.f64 5 (neg.f64 d3))))))
(-.f64 (.f64 d1 -32) (.f64 d1 (+.f64 d2 (-.f64 5 d3))))
(*.f64 d1 (-.f64 -32 (+.f64 d2 (-.f64 5 d3))))
(*.f64 d1 (+.f64 -37 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 (-.f64 d3 d2) -37))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (fma.f64 d2 d1 (.f64 d2 (+.f64 d3 5))) (.f64 d2 32))
(fma.f64 d2 32 (*.f64 d2 (+.f64 (+.f64 d3 5) d1)))
(*.f64 d2 (+.f64 d1 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (fma.f64 d3 d2 (.f64 d3 (+.f64 d1 5))) (.f64 d3 32))
(fma.f64 d3 32 (*.f64 d3 (+.f64 (+.f64 d1 5) d2)))
(*.f64 d3 (+.f64 d2 (+.f64 d1 37)))
(*.f64 d3 (+.f64 d1 (+.f64 d2 37)))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 32 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 106 to 61 computations (42.5% saved)

Precisions

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

Operation ival-mult, time spent: 97.0ms, 81.0% of total-time

Operation ival-add, time spent: 20.0ms, 17.0% of total-time

Operation const, time spent: 3.0ms, 2.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 39 to 24 computations (38.5% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize41.0ms (1%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))

Compiler

Compiled 23 to 14 computations (39.1% saved)

Precisions

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

Operation ival-add, time spent: 7.0ms, 72.0% of total-time

Operation ival-mult, time spent: 2.0ms, 21.0% of total-time

Operation const, time spent: 1.0ms, 10.0% of total-time

series8.0ms (0.2%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d3	@	-inf	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
1.0ms	d1	@	0	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
1.0ms	d1	@	-inf	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
1.0ms	d3	@	inf	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
1.0ms	d1	@	inf	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))

rewrite266.0ms (6.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1710×	`prod-diff`
888×	`log1p-expm1-u`
888×	`expm1-log1p-u`
648×	`fma-define`
356×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	158	28
2	2343	28

Stop Event

1×	node limit

Counts

1 → 59

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))

Outputs
(+.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(+.f64 (.f64 d1 (+.f64 d3 d2)) (.f64 d1 37))
(+.f64 (.f64 (+.f64 d3 d2) d1) (.f64 37 d1))
(+.f64 (.f64 (.f64 d1 d3) 1) (.f64 (.f64 d1 (+.f64 d2 37)) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 (+.f64 d2 37)) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37))) (.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37)))) (-.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3))) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2))) (-.f64 (-.f64 d3 37) d2))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3)) d1) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2)) d1) (-.f64 (-.f64 d3 37) d2))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 (+.f64 d2 37))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 1))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 37)))
(fma.f64 d1 (+.f64 d2 37) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d3 d2) (*.f64 d1 37))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
(fma.f64 1 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2) (.f64 (cbrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 (+.f64 d2 37)) (.f64 (sqrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 d3) 1 (.f64 (*.f64 d1 (+.f64 d2 37)) 1))
(fma.f64 (+.f64 d3 d2) d1 (*.f64 37 d1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (cbrt.f64 (.f64 d1 (+.f64 d2 37)))) (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2)) (cbrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 37))) (sqrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (.f64 (+.f64 d2 37) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 (+.f64 d2 37) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))

simplify82.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1354×	`fma-neg`
1072×	`fma-define`
1036×	`cancel-sign-sub-inv`
554×	`log-prod`
544×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	2825
1	466	2810
2	1510	2805
3	4933	2805

Stop Event

1×	node limit

Counts

95 → 73

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(+.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(+.f64 (.f64 d1 (+.f64 d3 d2)) (.f64 d1 37))
(+.f64 (.f64 (+.f64 d3 d2) d1) (.f64 37 d1))
(+.f64 (.f64 (.f64 d1 d3) 1) (.f64 (.f64 d1 (+.f64 d2 37)) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 (+.f64 d2 37)) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37))) (.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37)))) (-.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3))) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2))) (-.f64 (-.f64 d3 37) d2))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3)) d1) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2)) d1) (-.f64 (-.f64 d3 37) d2))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 (+.f64 d2 37))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 1))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 37)))
(fma.f64 d1 (+.f64 d2 37) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d3 d2) (*.f64 d1 37))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
(fma.f64 1 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2) (.f64 (cbrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 (+.f64 d2 37)) (.f64 (sqrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 d3) 1 (.f64 (*.f64 d1 (+.f64 d2 37)) 1))
(fma.f64 (+.f64 d3 d2) d1 (*.f64 37 d1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (cbrt.f64 (.f64 d1 (+.f64 d2 37)))) (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2)) (cbrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 37))) (sqrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(fma.f64 (.f64 (+.f64 d2 37) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 (+.f64 d2 37) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 d1 (+.f64 d3 d2)) (.f64 d1 37))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 (+.f64 d3 d2) d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(+.f64 (.f64 (.f64 d1 d3) 1) (.f64 (.f64 d1 (+.f64 d2 37)) 1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 (+.f64 d2 37)) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37))) (.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 (+.f64 37 d2)) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (.f64 (.f64 d1 (+.f64 37 d2)) (-.f64 (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3))) (fma.f64 d1 (.f64 (pow.f64 d3 2) d1) (.f64 d1 (.f64 (+.f64 37 d2) (*.f64 d1 (+.f64 37 (-.f64 d2 d3)))))))
(.f64 (pow.f64 d1 3) (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (.f64 d1 (+.f64 (.f64 (+.f64 37 d2) (.f64 d1 (+.f64 37 (-.f64 d2 d3)))) (*.f64 d1 (pow.f64 d3 2))))))
(.f64 (pow.f64 d1 3) (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (fma.f64 (+.f64 37 d2) (.f64 d1 (.f64 d1 (+.f64 37 (-.f64 d2 d3)))) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 6))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d2 37)))) (-.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3))) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (fma.f64 (+.f64 37 d2) (+.f64 d2 (-.f64 37 d3)) (pow.f64 d3 2))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (fma.f64 (+.f64 37 d2) (+.f64 37 (-.f64 d2 d3)) (pow.f64 d3 2))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2))) (-.f64 (-.f64 d3 37) d2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d3 3)) d1) (fma.f64 (+.f64 d2 37) (-.f64 (+.f64 d2 37) d3) (pow.f64 d3 2)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (fma.f64 (+.f64 37 d2) (+.f64 d2 (-.f64 37 d3)) (pow.f64 d3 2))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3)) (fma.f64 (+.f64 37 d2) (+.f64 37 (-.f64 d2 d3)) (pow.f64 d3 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 d3 2) (pow.f64 (+.f64 d2 37) 2)) d1) (-.f64 (-.f64 d3 37) d2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 3)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3) 1/3)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 2)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 (+.f64 d2 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d3 (+.f64 d2 37)) 3) (pow.f64 d1 3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37)))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d3 (+.f64 d2 37)))) 1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 d1 (+.f64 d2 37) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 d1 (+.f64 d3 d2) (*.f64 d1 37))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 1 (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2) (.f64 (cbrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 (+.f64 d2 37)) (.f64 (sqrt.f64 (+.f64 d2 37)) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d1 d3) 1 (.f64 (*.f64 d1 (+.f64 d2 37)) 1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (+.f64 d3 d2) d1 (*.f64 37 d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (cbrt.f64 (.f64 d1 (+.f64 d2 37)))) (cbrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (sqrt.f64 (.f64 d1 (+.f64 d2 37))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 37))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 37)) (sqrt.f64 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 37)) 2)) (cbrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 37))) (sqrt.f64 (+.f64 d2 37)) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (+.f64 d2 37) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(fma.f64 (.f64 (+.f64 d2 37) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))

eval19.0ms (0.5%)

Compiler: Compiled 1026 to 577 computations (43.8% saved)

prune68.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	68	5	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	6	74

Accuracy

100.0%

Counts

74 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
▶	65.0%	(*.f64 d1 (+.f64 37 d3))
▶	68.6%	(*.f64 d1 (+.f64 37 d2))
▶	37.7%	(*.f64 d1 d3)
▶	39.7%	(*.f64 d1 d2)

Compiler

Compiled 88 to 61 computations (30.7% saved)

localize81.0ms (2%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 d1 (+.f64 37 d3))
✓	100.0%	(*.f64 d1 (+.f64 37 d2))
✓	98.8%	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))

Compiler

Compiled 54 to 24 computations (55.6% saved)

Precisions

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

Operation ival-add, time spent: 13.0ms, 45.0% of total-time

Operation ival-mult, time spent: 9.0ms, 31.0% of total-time

Operation composed, time spent: 5.0ms, 17.0% of total-time

Operation const, time spent: 2.0ms, 7.0% of total-time

series20.0ms (0.5%)

Counts

3 → 60

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	d1	@	0	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
2.0ms	d1	@	-inf	(*.f64 d1 (+.f64 37 d3))
2.0ms	d1	@	inf	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
1.0ms	d1	@	-inf	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
1.0ms	d2	@	0	(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))

rewrite140.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1692×	`prod-diff`
720×	`log1p-expm1-u`
720×	`expm1-log1p-u`
666×	`fma-define`
396×	`log1p-undefine`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	71
1	249	66
2	3261	66

Stop Event

1×	node limit

Counts

3 → 126

Calls

Call 1

Inputs
(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d3))

Outputs
(+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 37) d1))
(+.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (fma.f64 d2 d1 (.f64 d1 d3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))) 1)
(*.f64 d1 (+.f64 (+.f64 d2 37) d3))
(.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(.f64 1 (.f64 d1 (+.f64 (+.f64 d2 37) d3)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 (+.f64 d2 37) d1) (*.f64 d1 d3)))))
(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3)))
(pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 2))
(log.f64 (exp.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 37 d1))
(+.f64 (.f64 (.f64 37 d1) 1) (.f64 (.f64 d2 d1) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d2 d1) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (.f64 (.f64 37 d1) (.f64 d2 d1)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (.f64 (.f64 d2 d1) (.f64 d2 d1))) (-.f64 (.f64 37 d1) (.f64 d2 d1)))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -37) 1369))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d2 2))) (-.f64 37 d2))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -1369)) (+.f64 d2 -37))
(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 (+.f64 d2 -37) 1369))
(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d2 2)) d1) (-.f64 37 d2))
(/.f64 (*.f64 (fma.f64 d2 d2 -1369) d1) (+.f64 d2 -37))
(pow.f64 (*.f64 (+.f64 d2 37) d1) 1)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 d2 37) d1)) 3)
(pow.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 d2 37) d1)) 2)
(sqrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 37)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 d2 37) d1))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 37) 3)))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 d2 37) d1)))
(exp.f64 (log.f64 (*.f64 (+.f64 d2 37) d1)))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 d2 37) d1)) 1))
(fma.f64 d2 d1 (*.f64 37 d1))
(fma.f64 37 d1 (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 37 d1))
(fma.f64 d1 37 (*.f64 d2 d1))
(fma.f64 1 (.f64 37 d1) (.f64 d2 d1))
(fma.f64 1 (.f64 d2 d1) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d2 d1))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d2 d1))
(fma.f64 (.f64 37 d1) 1 (.f64 (*.f64 d2 d1) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d2 d1)) (cbrt.f64 (.f64 d2 d1))) (cbrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(fma.f64 (sqrt.f64 (.f64 d2 d1)) (sqrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 37 d1))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 37 d1))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 37 d1))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 37 d1))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d2 d1))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d2 d1))
(+.f64 (.f64 d1 d3) (.f64 37 d1))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 (.f64 37 d1) 1) (*.f64 d1 d3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 37 d1) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 37 d1) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (fma.f64 d3 (-.f64 d3 37) 1369))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d3 2))) (-.f64 37 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 3) 50653) d1) (fma.f64 d3 (-.f64 d3 37) 1369))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d3 2)) d1) (-.f64 37 d3))
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 37 d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 37 d3) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 37 d3) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 37 d3))) 1))
(fma.f64 37 d1 (*.f64 d1 d3))
(fma.f64 d1 37 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 37 d1))
(fma.f64 d3 d1 (*.f64 37 d1))
(fma.f64 (.f64 d1 d3) 1 (.f64 37 d1))
(fma.f64 1 (.f64 d1 d3) (.f64 37 d1))
(fma.f64 1 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (*.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 37 d1))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 37 d1))
(fma.f64 (.f64 37 d1) 1 (.f64 d1 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 37 d1))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 37 d1))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))

simplify87.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1238×	`distribute-lft-in`
1192×	`distribute-rgt-in`
1184×	`unswap-sqr`
886×	`times-frac`
468×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	4771
1	792	4708
2	2488	4700

Stop Event

1×	node limit

Counts

186 → 166

Calls

Call 1

Inputs
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 37) d1))
(+.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3))
(+.f64 (.f64 37 d1) (fma.f64 d2 d1 (.f64 d1 d3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))) 1)
(*.f64 d1 (+.f64 (+.f64 d2 37) d3))
(.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(.f64 1 (.f64 d1 (+.f64 (+.f64 d2 37) d3)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 (+.f64 d2 37) d1) (*.f64 d1 d3)))))
(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3)))
(pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 2))
(log.f64 (exp.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 37 d1))
(+.f64 (.f64 (.f64 37 d1) 1) (.f64 (.f64 d2 d1) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d2 d1) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (.f64 (.f64 37 d1) (.f64 d2 d1)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (.f64 (.f64 d2 d1) (.f64 d2 d1))) (-.f64 (.f64 37 d1) (.f64 d2 d1)))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -37) 1369))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d2 2))) (-.f64 37 d2))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -1369)) (+.f64 d2 -37))
(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 (+.f64 d2 -37) 1369))
(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d2 2)) d1) (-.f64 37 d2))
(/.f64 (*.f64 (fma.f64 d2 d2 -1369) d1) (+.f64 d2 -37))
(pow.f64 (*.f64 (+.f64 d2 37) d1) 1)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 d2 37) d1)) 3)
(pow.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 d2 37) d1)) 2)
(sqrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 37)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 d2 37) d1))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 37) 3)))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 d2 37) d1)))
(exp.f64 (log.f64 (*.f64 (+.f64 d2 37) d1)))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 d2 37) d1)) 1))
(fma.f64 d2 d1 (*.f64 37 d1))
(fma.f64 37 d1 (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 37 d1))
(fma.f64 d1 37 (*.f64 d2 d1))
(fma.f64 1 (.f64 37 d1) (.f64 d2 d1))
(fma.f64 1 (.f64 d2 d1) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d2 d1))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d2 d1))
(fma.f64 (.f64 37 d1) 1 (.f64 (*.f64 d2 d1) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d2 d1)) (cbrt.f64 (.f64 d2 d1))) (cbrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(fma.f64 (sqrt.f64 (.f64 d2 d1)) (sqrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 37 d1))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 37 d1))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 37 d1))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 37 d1))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d2 d1))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d2 d1))
(+.f64 (.f64 d1 d3) (.f64 37 d1))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(+.f64 (.f64 (.f64 37 d1) 1) (*.f64 d1 d3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 37 d1) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 37 d1) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (fma.f64 d3 (-.f64 d3 37) 1369))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d3 2))) (-.f64 37 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 3) 50653) d1) (fma.f64 d3 (-.f64 d3 37) 1369))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d3 2)) d1) (-.f64 37 d3))
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 37 d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 37 d3) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 37 d3) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 37 d3))) 1))
(fma.f64 37 d1 (*.f64 d1 d3))
(fma.f64 d1 37 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 37 d1))
(fma.f64 d3 d1 (*.f64 37 d1))
(fma.f64 (.f64 d1 d3) 1 (.f64 37 d1))
(fma.f64 1 (.f64 d1 d3) (.f64 37 d1))
(fma.f64 1 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (*.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 37 d1))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 37 d1))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 37 d1))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 37 d1))
(fma.f64 (.f64 37 d1) 1 (.f64 d1 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 37 d1))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 37 d1))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))

Outputs
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d1 d2) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 37) d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (fma.f64 d2 d1 (.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 (+.f64 d3 d2)))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 37 d2)))))
(*.f64 d1 (+.f64 (+.f64 d2 37) d3))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 1 (.f64 d1 (+.f64 (+.f64 d2 37) d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 (+.f64 d2 37) d1) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d1 d3) (*.f64 d1 (+.f64 37 d2))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3))) (+.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 (+.f64 37 d2))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 37 d2) 3) (pow.f64 d3 3))) (+.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 2) (.f64 (.f64 d1 d3) (fma.f64 d1 d3 (*.f64 d1 (-.f64 -37 d2))))))
(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 d2 37) d1) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 (+.f64 d2 37) d1) (.f64 d1 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 (+.f64 37 d2) d3)))
(pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 3)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3) 1/3)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))) 2)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(log.f64 (exp.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3)) 3))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 (+.f64 d3 d2)))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d3 (+.f64 37 d2)))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 (+.f64 d2 37) d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 (+.f64 d2 37) d3))) 1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d2 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 (.f64 37 d1) 1) (.f64 (.f64 d2 d1) 1))
(*.f64 d1 (+.f64 37 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d2))))
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d2 d1) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (.f64 (.f64 37 d1) (.f64 d2 d1)))))
(/.f64 (+.f64 (.f64 50653 (pow.f64 d1 3)) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (.f64 1369 (.f64 d1 d1)) (.f64 (.f64 d1 d2) (-.f64 (.f64 d1 d2) (.f64 37 d1)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 50653 (pow.f64 d2 3))) (fma.f64 1369 (.f64 d1 d1) (.f64 (.f64 d1 d2) (*.f64 d1 (-.f64 d2 37)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 50653 (pow.f64 d2 3))) (fma.f64 1369 (.f64 d1 d1) (.f64 (.f64 d1 d2) (*.f64 d1 (+.f64 d2 -37)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (.f64 (.f64 d2 d1) (.f64 d2 d1))) (-.f64 (.f64 37 d1) (.f64 d2 d1)))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -37) 1369))
(*.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (-.f64 (fma.f64 d2 d2 1369) (.f64 37 d2))))
(.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (+.f64 (fma.f64 d2 d2 1369) (.f64 d2 -37))))
(.f64 (+.f64 50653 (pow.f64 d2 3)) (/.f64 d1 (+.f64 (fma.f64 d2 d2 1369) (.f64 d2 -37))))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d2 2))) (-.f64 37 d2))
(*.f64 (-.f64 1369 (pow.f64 d2 2)) (/.f64 d1 (-.f64 37 d2)))
(*.f64 d1 (/.f64 (-.f64 1369 (pow.f64 d2 2)) (-.f64 37 d2)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -1369)) (+.f64 d2 -37))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -1369) (+.f64 d2 -37)))
(*.f64 (fma.f64 d2 d2 -1369) (/.f64 d1 (+.f64 d2 -37)))
(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 (+.f64 d2 -37) 1369))
(*.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (-.f64 (fma.f64 d2 d2 1369) (.f64 d2 37)))
(.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (-.f64 (fma.f64 d2 d2 1369) (.f64 37 d2))))
(.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d2 3)) (+.f64 (fma.f64 d2 d2 1369) (.f64 d2 -37))))
(.f64 (+.f64 50653 (pow.f64 d2 3)) (/.f64 d1 (+.f64 (fma.f64 d2 d2 1369) (.f64 d2 -37))))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d2 2)) d1) (-.f64 37 d2))
(*.f64 (-.f64 1369 (pow.f64 d2 2)) (/.f64 d1 (-.f64 37 d2)))
(*.f64 d1 (/.f64 (-.f64 1369 (pow.f64 d2 2)) (-.f64 37 d2)))
(/.f64 (*.f64 (fma.f64 d2 d2 -1369) d1) (+.f64 d2 -37))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -1369) (+.f64 d2 -37)))
(*.f64 (fma.f64 d2 d2 -1369) (/.f64 d1 (+.f64 d2 -37)))
(pow.f64 (*.f64 (+.f64 d2 37) d1) 1)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 d2 37) d1)) 3)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3) 1/3)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 d2 37) d1)) 2)
(*.f64 d1 (+.f64 37 d2))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 2))
(*.f64 d1 (+.f64 37 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 37)) d1))
(*.f64 d1 (+.f64 37 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 d2 37) d1))))
(*.f64 d1 (+.f64 37 d2))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 d2 37) d1) 3))
(*.f64 d1 (+.f64 37 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 37) 3) (pow.f64 d1 3)))
(*.f64 d1 (+.f64 37 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 37) 3)))
(*.f64 d1 (+.f64 37 d2))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 d2 37) d1)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d2))))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 d2 37) d1)))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (log.f64 (*.f64 (+.f64 d2 37) d1)))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 d2 37) d1)) 1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 d2 d1 (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 37 d1 (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 d1 d2 (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 d1 37 (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 1 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 1 (.f64 d2 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 37 d1) 1 (.f64 (*.f64 d2 d1) 1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d2 d1)) (cbrt.f64 (.f64 d2 d1))) (cbrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (sqrt.f64 (.f64 d2 d1)) (sqrt.f64 (.f64 d2 d1)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 (.f64 37 d1) 1) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3)))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3))))
(/.f64 (+.f64 (pow.f64 (.f64 37 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 37 d1) (.f64 37 d1) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 37 d1) (.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (.f64 50653 (pow.f64 d1 3))) (+.f64 (.f64 1369 (.f64 d1 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 37 d1) (.f64 d1 d3)))))
(/.f64 (fma.f64 50653 (pow.f64 d1 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 1369 (.f64 d1 d1) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 37 d1)))))
(/.f64 (fma.f64 50653 (pow.f64 d1 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 1369 (.f64 d1 d1) (.f64 (.f64 d1 d3) (fma.f64 d1 d3 (*.f64 d1 -37)))))
(/.f64 (-.f64 (.f64 (.f64 37 d1) (.f64 37 d1)) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 37 d1) (.f64 d1 d3)))
(/.f64 (-.f64 (.f64 1369 (.f64 d1 d1)) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 37 d1) (*.f64 d1 d3)))
(/.f64 (-.f64 (.f64 (.f64 1369 d1) d1) (pow.f64 (.f64 d1 d3) 2)) (.f64 d1 (-.f64 37 d3)))
(.f64 (/.f64 (.f64 d1 (+.f64 37 d3)) d1) (/.f64 (*.f64 d1 (-.f64 37 d3)) (-.f64 37 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (fma.f64 d3 (-.f64 d3 37) 1369))
(*.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d3 3)) (fma.f64 d3 (+.f64 d3 -37) 1369)))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 d3 3))) (fma.f64 d3 (+.f64 d3 -37) 1369))
(/.f64 (*.f64 d1 (-.f64 1369 (pow.f64 d3 2))) (-.f64 37 d3))
(*.f64 (-.f64 1369 (pow.f64 d3 2)) (/.f64 d1 (-.f64 37 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 3) 50653) d1) (fma.f64 d3 (-.f64 d3 37) 1369))
(*.f64 d1 (/.f64 (+.f64 50653 (pow.f64 d3 3)) (fma.f64 d3 (+.f64 d3 -37) 1369)))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 d3 3))) (fma.f64 d3 (+.f64 d3 -37) 1369))
(/.f64 (*.f64 (-.f64 1369 (pow.f64 d3 2)) d1) (-.f64 37 d3))
(*.f64 (-.f64 1369 (pow.f64 d3 2)) (/.f64 d1 (-.f64 37 d3)))
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 d1 (+.f64 37 d3))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d3))) 3)
(*.f64 d1 (+.f64 37 d3))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3) 1/3)
(*.f64 d1 (+.f64 37 d3))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d3))) 2)
(*.f64 d1 (+.f64 37 d3))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 2))
(*.f64 d1 (+.f64 37 d3))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 d3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 37 d3)))))
(*.f64 d1 (+.f64 37 d3))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d3)) 3))
(*.f64 d1 (+.f64 37 d3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 37 d3) 3)))
(*.f64 d1 (+.f64 37 d3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 37 d3) 3) (pow.f64 d1 3)))
(*.f64 d1 (+.f64 37 d3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d3))))
(*.f64 d1 (+.f64 37 d3))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d3))))
(*.f64 d1 (+.f64 37 d3))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 37 d3))) 1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 d1 37 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 d1 d3 (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 d3 d1 (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 1 (.f64 37 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 37) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 37) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 37 d1) 1 (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 37 d1)) (cbrt.f64 (.f64 37 d1))) (cbrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (sqrt.f64 (.f64 37 d1)) (sqrt.f64 (.f64 37 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) 2)) (cbrt.f64 d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 37 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(fma.f64 (.f64 37 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))

eval44.0ms (1.1%)

Compiler: Compiled 1993 to 1172 computations (41.2% saved)

prune28.0ms (0.7%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	165	7	172

Accuracy

100.0%

Counts

172 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	68.6%	(fma.f64 d1 37 (*.f64 d2 d1))
✓	100.0%	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
✓	65.0%	(*.f64 d1 (+.f64 37 d3))
✓	68.6%	(*.f64 d1 (+.f64 37 d2))
✓	37.7%	(*.f64 d1 d3)
✓	39.7%	(*.f64 d1 d2)
▶	30.8%	(*.f64 37 d1)

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize150.0ms (3.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(fma.f64 d1 37 (*.f64 d2 d1))

Compiler

Compiled 21 to 11 computations (47.6% saved)

Precisions

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

Operation ival-mult, time spent: 117.0ms, 95.0% of total-time

Operation composed, time spent: 4.0ms, 3.0% of total-time

Operation ival-add, time spent: 2.0ms, 2.0% of total-time

Operation const, time spent: 1.0ms, 1.0% of total-time

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(fma.f64 d1 37 (*.f64 d2 d1))
1.0ms	d1	@	-inf	(fma.f64 d1 37 (*.f64 d2 d1))
1.0ms	d2	@	0	(fma.f64 d1 37 (*.f64 d2 d1))
1.0ms	d2	@	-inf	(fma.f64 d1 37 (*.f64 d2 d1))
1.0ms	d2	@	inf	(fma.f64 d1 37 (*.f64 d2 d1))

rewrite70.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

664×	`unpow-prod-down`
412×	`log-prod`
404×	`cbrt-prod`
357×	`log1p-expm1-u`
357×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	88	19
2	973	19

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

Inputs
(fma.f64 d1 37 (*.f64 d2 d1))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 37))
(+.f64 (.f64 d1 37) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 (.f64 d1 37) 1) (*.f64 d1 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 37 d2))) 1)
(*.f64 d1 (+.f64 37 d2))
(.f64 (.f64 d1 (+.f64 37 d2)) 1)
(.f64 (.f64 d1 (+.f64 37 d2)) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 (+.f64 37 d2)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 37 d2))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2))) (sqrt.f64 (*.f64 d1 (+.f64 37 d2))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 37 d2)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 50653) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 37) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 37) (*.f64 d1 d2)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 37) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 37) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 37 d2)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 37 d2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d2))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 37 d2)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2)))) 2))

simplify74.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

870×	`fma-define`
812×	`times-frac`
680×	`fma-neg`
586×	`log-prod`
542×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	1681
1	317	1598
2	1047	1573
3	4684	1571

Stop Event

1×	node limit

Counts

65 → 56

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 37))
(+.f64 (.f64 d1 37) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 37 d2)))
(+.f64 (.f64 (.f64 d1 37) 1) (*.f64 d1 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 37 d2))) 1)
(*.f64 d1 (+.f64 37 d2))
(.f64 (.f64 d1 (+.f64 37 d2)) 1)
(.f64 (.f64 d1 (+.f64 37 d2)) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 (+.f64 37 d2)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 37 d2))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2))) (sqrt.f64 (*.f64 d1 (+.f64 37 d2))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 37 d2)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 50653) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 37) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 37) (*.f64 d1 d2)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 37) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 37) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 37 d2)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 37 d2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d2))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 37 d2)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2)))) 2))

Outputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(*.f64 37 d1)
(*.f64 d1 37)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 37))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 d1 37) (.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 0 (*.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 (.f64 d1 37) 1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))))
(*.f64 d1 (+.f64 37 d2))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 37 d2))) 1)
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(.f64 (.f64 d1 (+.f64 37 d2)) 1)
(*.f64 d1 (+.f64 37 d2))
(.f64 (.f64 d1 (+.f64 37 d2)) (log.f64 (E.f64)))
(*.f64 d1 (+.f64 37 d2))
(.f64 1 (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d2))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 2))
(*.f64 d1 (+.f64 37 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2))) (sqrt.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))) 3))
(*.f64 d1 (+.f64 37 d2))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3)) 1/3))
(*.f64 d1 (+.f64 37 d2))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 37 d2) (cbrt.f64 (.f64 d1 (+.f64 37 d2))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 4) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 8)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))))
(*.f64 d1 (+.f64 37 d2))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 37 d2)) (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 37 d2) (cbrt.f64 (.f64 d1 (+.f64 37 d2))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 4) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2))) 8)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 37 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 50653) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 37) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 37) (*.f64 d1 d2)))))
(/.f64 (fma.f64 (pow.f64 d1 3) 50653 (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 37) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d2) (.f64 d1 37)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 50653)) (+.f64 (pow.f64 (.f64 d1 37) 2) (.f64 (.f64 d1 d2) (-.f64 (.f64 d1 d2) (.f64 d1 37)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 50653 (pow.f64 d2 3))) (fma.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d2 -37)) (pow.f64 (.f64 d1 37) 2)))
(.f64 (pow.f64 d1 3) (/.f64 (+.f64 50653 (pow.f64 d2 3)) (.f64 d1 (+.f64 (.f64 d1 1369) (.f64 d2 (*.f64 d1 (+.f64 d2 -37)))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 37) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 37) (.f64 d1 d2)))
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (*.f64 d1 (+.f64 37 d2)) 1)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 37 d2))) 3)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2) 1/2)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3) 1/3)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 37 d2))) 2)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 37 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 2))
(*.f64 d1 (+.f64 37 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 37 d2)) 3))
(*.f64 d1 (+.f64 37 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 37 d2))))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 37 d2)))) 3))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 37 d2)))) 1/3))
(*.f64 d1 (+.f64 37 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 37 d2)))) 2))
(*.f64 d1 (+.f64 37 d2))

eval16.0ms (0.4%)

Compiler: Compiled 731 to 517 computations (29.3% saved)

prune12.0ms (0.3%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	56	7	63

Accuracy

100.0%

Counts

63 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	(fma.f64 d1 37 (*.f64 d2 d1))
✓	100.0%	(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
✓	65.0%	(*.f64 d1 (+.f64 37 d3))
✓	68.6%	(*.f64 d1 (+.f64 37 d2))
✓	37.7%	(*.f64 d1 d3)
✓	39.7%	(*.f64 d1 d2)
✓	30.8%	(*.f64 37 d1)

Compiler

Compiled 109 to 68 computations (37.6% saved)

regimes41.0ms (1%)

Counts

9 → 1

Calls

Call 1

Inputs
(*.f64 37 d1)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(fma.f64 d1 37 (*.f64 d2 d1))
(fma.f64 (+.f64 d2 37) d1 (*.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))

Calls

5 calls:

19.0ms	d3
7.0ms	d2
6.0ms	d1
5.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
3.0ms	(+.f64 d3 5)

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))`
100.0%	1	`(+.f64 d3 5)`

Compiler

Compiled 34 to 25 computations (26.5% saved)

regimes68.0ms (1.7%)

Counts

5 → 2

Calls

Call 1

Inputs
(*.f64 37 d1)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d3))

Outputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d3))

Calls

3 calls:

51.0ms	d1
9.0ms	d3
8.0ms	d2

Results

Accuracy	Segments	Branch
80.8%	12	`d1`
95.9%	2	`d2`
95.3%	2	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes15.0ms (0.4%)

Counts

4 → 2

Calls

Call 1

Inputs
(*.f64 37 d1)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 37 d2))

Outputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 d3)

Calls

2 calls:

8.0ms	d3
7.0ms	d2

Results

Accuracy	Segments	Branch
95.1%	2	`d3`
78.6%	2	`d2`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes25.0ms (0.6%)

Counts

3 → 3

Calls

Call 1

Inputs
(*.f64 37 d1)
(*.f64 d1 d2)
(*.f64 d1 d3)

Outputs
(*.f64 d1 d2)
(*.f64 37 d1)
(*.f64 d1 d3)

Calls

2 calls:

16.0ms	d3
8.0ms	d2

Results

Accuracy	Segments	Branch
77.8%	3	`d2`
75.5%	5	`d3`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes143.0ms (3.5%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 37 d1)
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)
(*.f64 37 d1)

Calls

2 calls:

131.0ms	d2
12.0ms	d3

Results

Accuracy	Segments	Branch
49.5%	5	`d3`
66.6%	2	`d2`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes9.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 37 d1)

Outputs
(*.f64 37 d1)

Calls

3 calls:

4.0ms	d2
2.0ms	d1
2.0ms	d3

Results

Accuracy	Segments	Branch
30.8%	1	`d3`
30.8%	1	`d1`
30.8%	1	`d2`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch20.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
20.0ms	-132.91930603801669	-0.0925875120031502

Results

15.0ms	114×	256	valid
2.0ms	13×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 166 to 128 computations (22.9% saved)

Precisions

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

Operation ival-mult, time spent: 3.0ms, 60.0% of total-time

Operation ival-add, time spent: 2.0ms, 40.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch25.0ms (0.6%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
25.0ms	0.0011421129942270803	47760682.401794024

Results

19.0ms	140×	256	valid
2.0ms	19×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 182 to 136 computations (25.3% saved)

Precisions

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

Operation ival-add, time spent: 5.0ms, 59.0% of total-time

Operation ival-mult, time spent: 3.0ms, 35.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch92.0ms (2.3%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
74.0ms	3.2296274711054746e-211	1.930006606545867e-194
18.0ms	-132.91930603801669	-0.0925875120031502

Results

82.0ms	254×	256	valid
4.0ms	31×	256	infinite
1.0ms	2×	1024	valid
0.0ms	1×	256	valid

Compiler

Compiled 274 to 214 computations (21.9% saved)

Precisions

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

Operation ival-mult, time spent: 6.0ms, 55.0% of total-time

Operation ival-add, time spent: 5.0ms, 45.0% of total-time

Operation const, time spent: 1.0ms, 9.0% of total-time

bsearch20.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
20.0ms	-132.91930603801669	-0.0925875120031502

Results

14.0ms	105×	256	valid
3.0ms	22×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 134 to 104 computations (22.4% saved)

Precisions

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

Operation ival-mult, time spent: 4.0ms, 62.0% of total-time

Operation ival-add, time spent: 2.0ms, 31.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative`
6×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	227
1	45	227

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(if (<=.f64 d2 -7566047373982433/18014398509481984) (.f64 d1 (+.f64 37 d2)) (.f64 d1 (+.f64 37 d3)))
(if (<=.f64 d3 47000000) (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3))
(if (<=.f64 d2 -37) (.f64 d1 d2) (if (<=.f64 d2 4010853624930635/328758493846773344202561867680008041596896237676448366218642556441795759643567551382104158517349278201686435553511138607063714515636487741445488423165742553122201479445527787386978984867770169829455828233486336) (.f64 37 d1) (*.f64 d1 d3)))
(if (<=.f64 d2 -37) (.f64 d1 d2) (.f64 37 d1))
(*.f64 37 d1)

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(if (<=.f64 d2 -7566047373982433/18014398509481984) (.f64 d1 (+.f64 37 d2)) (.f64 d1 (+.f64 37 d3)))
(if (<=.f64 d2 -7566047373982433/18014398509481984) (.f64 d1 (+.f64 d2 37)) (.f64 d1 (+.f64 d3 37)))
(if (<=.f64 d3 47000000) (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3))
(if (<=.f64 d3 47000000) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d2 -37) (.f64 d1 d2) (if (<=.f64 d2 4010853624930635/328758493846773344202561867680008041596896237676448366218642556441795759643567551382104158517349278201686435553511138607063714515636487741445488423165742553122201479445527787386978984867770169829455828233486336) (.f64 37 d1) (*.f64 d1 d3)))
(if (<=.f64 d2 -37) (.f64 d1 d2) (if (<=.f64 d2 4010853624930635/328758493846773344202561867680008041596896237676448366218642556441795759643567551382104158517349278201686435553511138607063714515636487741445488423165742553122201479445527787386978984867770169829455828233486336) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d2 -37) (.f64 d1 d2) (.f64 37 d1))
(if (<=.f64 d2 -37) (.f64 d1 d2) (.f64 d1 37))
(*.f64 37 d1)
(*.f64 d1 37)

Compiler

Compiled 81 to 56 computations (30.9% saved)

soundness168.0ms (4.2%)

Rules

1546×	`unsub-neg`
978×	`sub-neg`
766×	`fma-neg`
732×	`associate-+r+`
726×	`distribute-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	564
1	134	453
2	431	332
3	1771	308
4	5269	308
5	6536	308
6	7434	308

Stop Event

1×	node limit

Compiler

Compiled 180 to 115 computations (36.1% saved)

end0.0ms (0%)

preprocess73.0ms (1.8%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 304 to 198 computations (34.9% saved)

analyze0.0ms (0%)

sample1.7s (42.6%)

preprocess406.0ms (10%)

eval1.0ms (0%)

prune1.0ms (0%)

localize41.0ms (1%)

series8.0ms (0.2%)

rewrite266.0ms (6.6%)

simplify82.0ms (2%)

eval19.0ms (0.5%)

prune68.0ms (1.7%)

localize81.0ms (2%)

series20.0ms (0.5%)

rewrite140.0ms (3.5%)

simplify87.0ms (2.1%)

eval44.0ms (1.1%)

prune28.0ms (0.7%)

localize150.0ms (3.7%)

series5.0ms (0.1%)

rewrite70.0ms (1.7%)

simplify74.0ms (1.8%)

eval16.0ms (0.4%)

prune12.0ms (0.3%)

regimes41.0ms (1%)

regimes68.0ms (1.7%)

regimes15.0ms (0.4%)

regimes25.0ms (0.6%)

regimes143.0ms (3.5%)

regimes9.0ms (0.2%)

bsearch20.0ms (0.5%)

bsearch25.0ms (0.6%)

bsearch92.0ms (2.3%)

bsearch20.0ms (0.5%)

simplify5.0ms (0.1%)

soundness168.0ms (4.2%)

end0.0ms (0%)

preprocess73.0ms (1.8%)

Profiling