Metrics for FastMath dist

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 11 to 7 computations (36.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

sample916.0ms (43%)

Results

694.0ms	6603×	256	valid
163.0ms	1652×	256	infinite
0.0ms	1×	256	infinite

Precisions

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

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

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

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

Bogosity

preprocess338.0ms (15.9%)

Algorithm

1×	egg-herbie

Rules

329×	`fma-define`
268×	`fmm-def`
71×	`associate-l`
67×	`unsub-neg`
60×	`associate-r`

FPErrors

Click to see full error table

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1016	246
5	1572	246
6	1673	246
7	1675	246

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3)))
(neg.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3)))
(neg.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3)))
(neg.f64 (+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3))))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(*.f64 (neg.f64 d1) (+.f64 d2 d3))
(*.f64 d1 (-.f64 (neg.f64 d3) d2))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3)))
(*.f64 d1 (+.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3))))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

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

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

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

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize28.0ms (1.3%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 6 computations (60% saved)

Precisions

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

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

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

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

series4.0ms (0.2%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 d3))>

Outputs
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>

Calls

9 calls:

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

rewrite300.0ms (14.1%)

Algorithm

1×	batch-egg-rewrite

Rules

682×	`prod-diff`
630×	`log1p-expm1-u`
630×	`expm1-log1p-u`
533×	`unpow-prod-down`
304×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	122	22
2	1729	22

Stop Event

1×	node limit

Counts

1 → 60

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (exp.f64 (.f64 d1 d3)) (exp.f64 (*.f64 d1 d2))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))

simplify72.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

645×	`fmm-def`
515×	`fma-define`
391×	`distribute-lft-neg-in`
355×	`distribute-rgt-neg-in`
333×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	2105
1	440	2090
2	1253	2085
3	4137	2072

Stop Event

1×	node limit

Counts

84 → 74

Calls

Call 1

Inputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (exp.f64 (.f64 d1 d3)) (exp.f64 (*.f64 d1 d2))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))) #s(literal 2 binary64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d1 (.f64 (pow.f64 d2 #s(literal 2 binary64)) d1) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (.f64 d1 (+.f64 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (*.f64 d1 (pow.f64 d2 #s(literal 2 binary64))))))
(/.f64 (.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (.f64 d1 (*.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (exp.f64 (.f64 d1 d3)) (exp.f64 (*.f64 d1 d2))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))

eval14.0ms (0.7%)

Compiler: Compiled 893 to 301 computations (66.3% saved)

prune13.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	4	75

Accuracy

100.0%

Counts

75 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	55.7%	(*.f64 d1 d3)
▶	51.3%	(*.f64 d1 d2)

Compiler

Compiled 29 to 18 computations (37.9% saved)

localize54.0ms (2.5%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

Precisions

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

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

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

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

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

series5.0ms (0.2%)

Counts

1 → 36

Calls

Call 1

Inputs
#<alt (fma.f64 d2 d1 (*.f64 d1 d3))>

Outputs
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>

Calls

9 calls:

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

rewrite72.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

440×	`log1p-expm1-u`
440×	`expm1-log1p-u`
421×	`add-exp-log`
405×	`add-log-exp`
401×	`unpow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	27
1	107	22
2	1196	22

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d3) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (*.f64 d1 d3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 (.f64 d1 (+.f64 d2 d3)) (log.f64 (E.f64)))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (-.f64 (.f64 d2 d1) (.f64 d1 d3)))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))

simplify113.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

597×	`times-frac`
422×	`fma-define`
360×	`prod-exp`
350×	`fmm-def`
295×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	2272
1	322	2224
2	1024	2196
3	3583	2196
4	7721	2196

Stop Event

1×	node limit

Counts

77 → 64

Calls

Call 1

Inputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(+.f64 (.f64 d1 d3) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (*.f64 d1 d3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 (.f64 d1 (+.f64 d2 d3)) (log.f64 (E.f64)))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (-.f64 (.f64 d2 d1) (.f64 d1 d3)))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d3) (.f64 d2 d1))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) (log.f64 (E.f64)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d3 d2)) #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 d2)) #s(literal 3 binary64)))))
(.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 3 binary64))) (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 d2))) #s(literal 3 binary64))))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (cbrt.f64 (.f64 d1 (+.f64 d3 d2))))) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 4 binary64)) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 8 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d3 d2)) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d3 d2)) #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 d2)) #s(literal 3 binary64)))))
(.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 3 binary64))) (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 d2))) #s(literal 3 binary64))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (cbrt.f64 (.f64 d1 (+.f64 d3 d2))))) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 4 binary64)) #s(literal 2 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2))) #s(literal 8 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d3 d2)) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d3 d2)))))
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 (.f64 d1 d3) (*.f64 d1 d2)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (-.f64 (.f64 d2 d1) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d3 d2)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d3 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d3 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d3 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1/3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))

eval13.0ms (0.6%)

Compiler: Compiled 869 to 309 computations (64.4% saved)

prune11.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	64	4	68

Accuracy

100.0%

Counts

68 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.8%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	55.7%	(*.f64 d1 d3)
✓	51.3%	(*.f64 d1 d2)

Compiler

Compiled 56 to 27 computations (51.8% saved)

regimes10.0ms (0.5%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
2.0ms	d3
2.0ms	d1
2.0ms	d2

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes24.0ms (1.2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

19.0ms	d2
3.0ms	d1
2.0ms	d3

Results

Accuracy	Segments	Branch
63.6%	6	`d1`
84.4%	4	`d2`
87.1%	2	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

2.0ms	d2
1.0ms	d3
1.0ms	d1

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch11.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.3066249120455016e-77	5.823567487772215e-77

Results

9.0ms	85×	256	valid
1.0ms	10×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 100 to 71 computations (29% saved)

Precisions

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

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

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

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

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative`
1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	73
1	23	73

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d3 #s(literal 1890369386038403/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

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

(if (<=.f64 d3 #s(literal 1890369386038403/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness78.0ms (3.7%)

Rules

329×	`fma-define`
268×	`fmm-def`
71×	`associate-l`
67×	`unsub-neg`
60×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1016	246
5	1572	246
6	1673	246
7	1675	246

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess42.0ms (2%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 174 to 102 computations (41.4% saved)

analyze0.0ms (0%)

sample916.0ms (43%)

preprocess338.0ms (15.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize28.0ms (1.3%)

series4.0ms (0.2%)

rewrite300.0ms (14.1%)

simplify72.0ms (3.4%)

eval14.0ms (0.7%)

prune13.0ms (0.6%)

localize54.0ms (2.5%)

series5.0ms (0.2%)

rewrite72.0ms (3.4%)

simplify113.0ms (5.3%)

eval13.0ms (0.6%)

prune11.0ms (0.5%)

regimes10.0ms (0.5%)

regimes24.0ms (1.2%)

regimes4.0ms (0.2%)

bsearch11.0ms (0.5%)

simplify5.0ms (0.2%)

soundness78.0ms (3.7%)

end0.0ms (0%)

preprocess42.0ms (2%)

Profiling