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

sample1.1s (51.1%)

Results

688.0ms	6600×	256	valid
181.0ms	1656×	256	infinite

Precisions

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

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

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

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

Bogosity

preprocess156.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

329×	`fma-define`
268×	`fma-neg`
79×	`unsub-neg`
69×	`associate-l`
60×	`associate-r`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
2	-	-	`(+.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	1018	246
5	1573	246
6	1676	246
7	1678	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 d2) d3))
(+.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)

Results

44.0ms	420×	256	valid
9.0ms	92×	256	infinite

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

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

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

Operation const, time spent: 1.0ms, 9.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
▶	99.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize46.0ms (2.1%)

Localize:

Found 2 expressions with local error:

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

Results

26.0ms	210×	256	valid
7.0ms	46×	256	infinite

Compiler

Compiled 31 to 9 computations (71% saved)

Precisions

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

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

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

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

series11.0ms (0.5%)

Counts

2 → 54

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (+.f64 (.f64 d1 d2) (.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 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)))))>
#<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 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 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

18 calls:

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

rewrite224.0ms (10.3%)

Algorithm

1×	batch-egg-rewrite

Rules

909×	`log1p-expm1-u`
909×	`expm1-log1p-u`
466×	`fma-define`
455×	`log-prod`
213×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	191	44
2	2482	44

Stop Event

1×	node limit

Counts

2 → 150

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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)))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.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 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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)))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))

simplify142.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

669×	`times-frac`
649×	`fma-define`
431×	`div-sub`
325×	`associate-/l*`
281×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	242	6592
1	588	6415
2	1535	6415
3	6801	6415

Stop Event

1×	node limit

Counts

204 → 108

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 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 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 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 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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)))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.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 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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)))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))

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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.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 d3)
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.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 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.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 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))) #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 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(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 (+.f64 d2 d3)) d1))
(*.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 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.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))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.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 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(*.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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (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) d2) (.f64 d1 d3))
(*.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 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))
(-.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 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(*.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 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(*.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 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 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 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 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #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 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(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 (+.f64 d2 d3)) d1))
(*.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 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.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))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #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))
(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 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.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 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.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) d2) (.f64 d1 d3))
(*.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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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 (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) d2) (.f64 d1 d3))
(*.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 d2) (.f64 (sqrt.f64 d2) 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))
(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 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))

eval23.0ms (1%)

Compiler: Compiled 1354 to 489 computations (63.9% saved)

prune18.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	105	5	110

Accuracy

100.0%

Counts

110 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	99.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	51.6%	(*.f64 d1 d3)
▶	54.4%	(*.f64 d1 d2)

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize44.0ms (2%)

Localize:

Found 1 expressions with local error:

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

Results

27.0ms	228×	256	valid
3.0ms	28×	256	infinite

Compiler

Compiled 26 to 7 computations (73.1% saved)

Precisions

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

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

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

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

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

series4.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
0.0ms	d2	@	-inf	(+ (* d2 d1) (* d1 d3))
0.0ms	d3	@	-inf	(+ (* d2 d1) (* d1 d3))
0.0ms	d2	@	0	(+ (* d2 d1) (* d1 d3))
0.0ms	d2	@	inf	(+ (* d2 d1) (* d1 d3))
0.0ms	d1	@	-inf	(+ (* d2 d1) (* d1 d3))

rewrite74.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)))

simplify108.0ms (5%)

Algorithm

1×	egg-herbie

Rules

597×	`times-frac`
422×	`fma-define`
360×	`prod-exp`
350×	`fma-neg`
297×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	2272
1	322	2224
2	1024	2196
3	3574	2196
4	7757	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 (pow.f64 d1 #s(literal 3 binary64)) (/.f64 (+.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)

prune12.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	64	5	69

Accuracy

100.0%

Counts

69 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	99.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	51.6%	(*.f64 d1 d3)
✓	54.4%	(*.f64 d1 d2)

Compiler

Compiled 66 to 33 computations (50% saved)

regimes12.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:

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

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)

regimes34.0ms (1.5%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

28.0ms	d1
3.0ms	d3
3.0ms	d2

Results

Accuracy	Segments	Branch
65.3%	9	`d1`
84.9%	2	`d2`
85.4%	4	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes1.0ms (0.1%)

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

2 calls:

0.0ms	d2
0.0ms	d3

Results

Accuracy	Segments	Branch
54.4%	1	`d3`
54.4%	1	`d2`

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch14.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	-1.6608312359047366e-32	-6.7680594895699144e-34

Results

8.0ms	100×	256	valid
1.0ms	12×	256	infinite

Compiler

Compiled 114 to 81 computations (28.9% saved)

Precisions

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

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

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

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

simplify3.0ms (0.1%)

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 d2 #s(literal -4932568025991797/365375409332725729550921208179070754913983135744 binary64)) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 #s(literal -4932568025991797/365375409332725729550921208179070754913983135744 binary64)) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness76.0ms (3.5%)

Rules

329×	`fma-define`
268×	`fma-neg`
79×	`unsub-neg`
69×	`associate-l`
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	1018	246
5	1573	246
6	1676	246
7	1678	246

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess43.0ms (2%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 174 to 102 computations (41.4% saved)

analyze0.0ms (0%)

sample1.1s (51.1%)

preprocess156.0ms (7.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize46.0ms (2.1%)

series11.0ms (0.5%)

rewrite224.0ms (10.3%)

simplify142.0ms (6.6%)

eval23.0ms (1%)

prune18.0ms (0.8%)

localize44.0ms (2%)

series4.0ms (0.2%)

rewrite74.0ms (3.4%)

simplify108.0ms (5%)

eval13.0ms (0.6%)

prune12.0ms (0.5%)

regimes12.0ms (0.5%)

regimes34.0ms (1.5%)

regimes1.0ms (0.1%)

bsearch14.0ms (0.7%)

simplify3.0ms (0.1%)

soundness76.0ms (3.5%)

end0.0ms (0%)

preprocess43.0ms (2%)

Profiling