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)

sample900.0ms (45.5%)

Results

718.0ms	6472×	body	256	valid
171.0ms	1784×	body	256	infinite

Bogosity

preprocess148.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

1148×	`fma-def`
158×	`unsub-neg`
134×	`associate-l`
114×	`associate-r`
106×	`distribute-lft-neg-in`

FPErrors

Click to see full error table

truth	ex	ex	subexpr
249	-	-	`#f`
7	-	-	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
0	-	-	`(*.f64 d1 d3)`
0	-	-	`d3`
0	-	-	`(*.f64 d1 d2)`
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	1022	246
5	1571	246
6	1674	246
7	1676	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 -1 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 -1 d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 50 to 20 computations (60% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize40.0ms (2%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 9 computations (71% saved)

series7.0ms (0.4%)

Counts

2 → 42

Calls

18 calls:

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

rewrite228.0ms (11.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1028×	`fma-def`
910×	`log-prod`
909×	`log1p-expm1-u`
909×	`expm1-log1p-u`
330×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	191	44
2	2475	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 0 (*.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)))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 d1 (-.f64 d2 d3))))
(/.f64 1 (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3))))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 2) (pow.f64 d3 2))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 2) (pow.f64 d3 2)) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 1 (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (+.f64 1 (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 1 (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 d3) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.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))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(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) 1 (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.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) 2)) (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) 2)) (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) 2)) (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) 2)) (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)))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 d1 (-.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.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) 3) (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (/.f64 1 (.f64 d1 (-.f64 d2 d3))))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)) (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) 2)) (cbrt.f64 d1))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(/.f64 1 (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3))))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 2) (pow.f64 d3 2))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 2) (pow.f64 d3 2)) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 1 (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (+.f64 1 (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 1 (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 d3) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.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))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(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) 1 (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) 2) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.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) 2)) (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) 2)) (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) 2)) (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) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))

simplify83.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1586×	`times-frac`
1444×	`fma-def`
682×	`distribute-lft-in`
660×	`unswap-sqr`
658×	`associate-/l*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	5878
1	586	5768
2	1580	5729

Stop Event

1×	node limit

Counts

192 → 102

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

eval21.0ms (1.1%)

Compiler: Compiled 1307 to 468 computations (64.2% saved)

prune23.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	98	4	102
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	98	6	104

Accuracy

100.0%

Counts

104 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 d3 d1 (*.f64 d1 d2))
▶	98.0%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	97.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	52.2%	(*.f64 d1 d3)
▶	55.9%	(*.f64 d1 d2)
▶	99.2%	(fma.f64 d3 d1 (*.f64 d1 d2))
▶	98.0%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	97.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	52.2%	(*.f64 d1 d3)
▶	55.9%	(*.f64 d1 d2)

Compiler

Compiled 96 to 58 computations (39.6% saved)

localize57.0ms (2.9%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 38 to 8 computations (78.9% saved)

series5.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite86.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1628×	`prod-diff`
796×	`unpow-prod-down`
626×	`log-prod`
532×	`log1p-expm1-u`
532×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	54
1	148	44
2	1702	44

Stop Event

1×	node limit

Counts

2 → 110

Calls

Call 1

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

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

simplify109.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1070×	`fma-def`
936×	`log-prod`
726×	`distribute-lft-in`
690×	`distribute-rgt-in`
524×	`cube-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	173	4958
1	467	4762
2	1541	4644
3	5781	4476

Stop Event

1×	node limit

Counts

182 → 71

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

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(+.f64 (.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 (.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 (+.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 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 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 (.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 (.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 (.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 (.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 (.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 (+.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 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))
(*.f64 d1 (+.f64 d3 d2))
(*.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 (.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 (.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 (.f64 d1 d3) (.f64 d2 d1))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1)
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (pow.f64 (+.f64 d3 d2) 1))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (pow.f64 (+.f64 d2 d3) 1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) (log.f64 (exp.f64 1)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 1 (.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))) 2))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.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 1 1/3) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3/2) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2))) 4) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2))) 8)))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 d2)) 5/2)))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d2 d1) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d2 d1) 2) (.f64 (.f64 d1 d3) (*.f64 d2 d1)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d3 3) (pow.f64 d2 3))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d2 d1) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d3 3) (pow.f64 d2 3))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d2 d1) 2)) (-.f64 (.f64 d1 d3) (.f64 d2 d1)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 (-.f64 d3 d2)))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 d2 d1) (.f64 d1 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 (-.f64 d3 d2)))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) 1/2)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 1 (expm1.f64 (.f64 d2 d1)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d2) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d2 d1)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d2) d1) (+.f64 1 (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d2 d1))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d2 d1))) (+.f64 1 (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.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))) 1))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))) 1) 1))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 d3)))) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 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 0 (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1)
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (pow.f64 (+.f64 d3 d2) 1))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (pow.f64 (+.f64 d2 d3) 1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) (log.f64 (exp.f64 1)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 1 (.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))) 2))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.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 1 1/3) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3/2) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) (cbrt.f64 (*.f64 d1 (+.f64 d3 d2)))) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2))) 4) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 d2))) 8)))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d3 d2)))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d3 d2)) 5/2)))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d2 d1) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d2 d1) 2) (.f64 (.f64 d1 d3) (*.f64 d2 d1)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d3 3) (pow.f64 d2 3))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d2 d1) 2) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) 3) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d3 3) (pow.f64 d2 3))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d2 d1) 2)) (-.f64 (.f64 d1 d3) (.f64 d2 d1)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 (-.f64 d3 d2)))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) 2) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 d2 d1) (.f64 d1 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 (-.f64 d3 d2)))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) 1/2)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 1 (expm1.f64 (.f64 d2 d1)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d2) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d2 d1)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d2) d1) (+.f64 1 (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d2 d1))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d2 d1))) (+.f64 1 (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.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))) 1))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))) 1) 1))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 3))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 d3)))) 1/3))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))

eval18.0ms (0.9%)

Compiler: Compiled 977 to 350 computations (64.2% saved)

prune14.0ms (0.7%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	0	0
Picked	0	4	4
Done	0	2	2
Total	71	6	77

Accuracy

100.0%

Counts

77 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.2%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.0%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	97.2%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	52.2%	(*.f64 d1 d3)
✓	55.9%	(*.f64 d1 d2)

Compiler

Compiled 81 to 39 computations (51.9% saved)

regimes22.0ms (1.1%)

Counts

6 → 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))
(fma.f64 d3 d1 (*.f64 d1 d2))

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

Calls

4 calls:

6.0ms	d2
5.0ms	d3
5.0ms	d1
5.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 55 to 25 computations (54.5% saved)

regimes63.0ms (3.2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

35.0ms	d1
17.0ms	d2
10.0ms	d3

Results

Accuracy	Segments	Branch
71.7%	11	`d1`
83.9%	4	`d2`
83.0%	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes9.0ms (0.5%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

3.0ms	d2
3.0ms	d3
3.0ms	d1

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch7.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.4751062639038974e-169	6.431421479604096e-169

Results

5.0ms	52×	body	256	valid
1.0ms	12×	body	256	infinite

Compiler

Compiled 72 to 51 computations (29.2% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	73
1	23	73

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d3 2634444444371165/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

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

(if (<=.f64 d3 2634444444371165/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness82.0ms (4.1%)

Rules

1148×	`fma-def`
158×	`unsub-neg`
134×	`associate-l`
114×	`associate-r`
106×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1022	246
5	1571	246
6	1674	246
7	1676	246

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess49.0ms (2.5%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 174 to 102 computations (41.4% saved)

analyze0.0ms (0%)

sample900.0ms (45.5%)

preprocess148.0ms (7.5%)

eval0.0ms (0%)

prune3.0ms (0.1%)

localize40.0ms (2%)

series7.0ms (0.4%)

rewrite228.0ms (11.5%)

simplify83.0ms (4.2%)

eval21.0ms (1.1%)

prune23.0ms (1.1%)

localize57.0ms (2.9%)

series5.0ms (0.2%)

rewrite86.0ms (4.4%)

simplify109.0ms (5.5%)

eval18.0ms (0.9%)

prune14.0ms (0.7%)

regimes22.0ms (1.1%)

regimes63.0ms (3.2%)

regimes9.0ms (0.5%)

bsearch7.0ms (0.4%)

simplify3.0ms (0.2%)

soundness82.0ms (4.1%)

end0.0ms (0%)

preprocess49.0ms (2.5%)

Profiling