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)

sample777.0ms (51.1%)

Results

602.0ms	6525×	body	256	valid
162.0ms	1731×	body	256	infinite

Bogosity

preprocess85.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1266×	`fma-def`
140×	`unsub-neg`
120×	`cancel-sign-sub-inv`
106×	`distribute-lft-in`
100×	`associate-r`

Problems

251×	No Errors
5×	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	188
1	77	182
2	146	180
3	232	180
4	449	180
5	639	180
6	1025	180
7	1487	180
8	1588	180
9	1590	180

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(*.f64 (neg.f64 d1) (+.f64 d2 d3))
(*.f64 d1 (-.f64 (neg.f64 d3) d2))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 -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))
(+.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

(sort d2 d3)

Compiler

Compiled 30 to 13 computations (56.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize34.0ms (2.2%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 9 computations (71% saved)

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

rewrite122.0ms (8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	191	44
2	2472	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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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 d1) 2) (.f64 (cbrt.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 d2 d3)) 2) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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))

simplify76.0ms (5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	5878
1	583	5768
2	1576	5729

Stop Event

1×	node limit

Counts

192 → 103

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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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 d1) 2) (.f64 (cbrt.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 d2 d3)) 2) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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 d3 2) (pow.f64 d2 2))) (*.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 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 (pow.f64 d2 3) (pow.f64 d3 3)) (/.f64 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)) d1))
(*.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 (pow.f64 d2 3) (pow.f64 d3 3)) (/.f64 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)) d1))
(*.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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(*.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 d1) 2) (.f64 (cbrt.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 d2 d3)) 2) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(*.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 d2)))
(/.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 d3 2) (pow.f64 d2 2))) (*.f64 d1 (-.f64 d3 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 (pow.f64 d2 3) (pow.f64 d3 3)) (/.f64 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)) d1))
(*.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 (pow.f64 d2 3) (pow.f64 d3 3)) (/.f64 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2)) d1))
(*.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 (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 (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 (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 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 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))

eval19.0ms (1.3%)

Compiler: Compiled 1325 to 478 computations (63.9% saved)

prune21.0ms (1.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	100	5	105

Accuracy

100.0%

Counts

105 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	57.2%	(*.f64 d1 d3)
▶	47.6%	(*.f64 d1 d2)
▶	98.8%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	57.2%	(*.f64 d1 d3)
▶	47.6%	(*.f64 d1 d2)

Compiler

Compiled 78 to 48 computations (38.5% saved)

localize32.0ms (2.1%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series2.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite54.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

628×	`unpow-prod-down`
504×	`log-prod`
498×	`cbrt-prod`
443×	`log1p-expm1-u`
443×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

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

simplify58.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1018×	`fma-def`
554×	`distribute-lft-in`
536×	`fma-neg`
524×	`log-prod`
510×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	2201
1	315	2105
2	1029	2077
3	4404	2035

Stop Event

1×	node limit

Counts

77 → 61

Calls

Call 1

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

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

eval17.0ms (1.1%)

Compiler: Compiled 810 to 275 computations (66% saved)

prune10.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	61	5	66

Accuracy

100.0%

Counts

66 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.8%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	57.2%	(*.f64 d1 d3)
✓	47.6%	(*.f64 d1 d2)

Compiler

Compiled 66 to 33 computations (50% saved)

regimes21.0ms (1.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	d3
5.0ms	d1
5.0ms	d2
4.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 49 to 24 computations (51% saved)

regimes51.0ms (3.3%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

27.0ms	d1
13.0ms	d3
10.0ms	d2

Results

Accuracy	Segments	Branch
67.3%	9	`d1`
84.8%	2	`d2`
87.3%	4	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes9.0ms (0.6%)

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	d1
3.0ms	d3

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch15.0ms (1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	-5.455199914823638e-36	-7.08129446360393e-42

Results

12.0ms	124×	body	256	valid
2.0ms	20×	body	256	infinite

Compiler

Compiled 142 to 101 computations (28.9% 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 d2 -8620287417370625/47890485652059026823698344598447161988085597568237568) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 -8620287417370625/47890485652059026823698344598447161988085597568237568) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness73.0ms (4.8%)

Rules

1266×	`fma-def`
140×	`unsub-neg`
120×	`cancel-sign-sub-inv`
106×	`distribute-lft-in`
100×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	188
1	77	182
2	146	180
3	232	180
4	449	180
5	639	180
6	1025	180
7	1487	180
8	1588	180
9	1590	180

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess36.0ms (2.4%)

Remove: (sort d2 d3)
Compiler: Compiled 94 to 52 computations (44.7% saved)

analyze0.0ms (0%)

sample777.0ms (51.1%)

preprocess85.0ms (5.6%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize34.0ms (2.2%)

series6.0ms (0.4%)

rewrite122.0ms (8%)

simplify76.0ms (5%)

eval19.0ms (1.3%)

prune21.0ms (1.4%)

localize32.0ms (2.1%)

series2.0ms (0.1%)

rewrite54.0ms (3.5%)

simplify58.0ms (3.8%)

eval17.0ms (1.1%)

prune10.0ms (0.7%)

regimes21.0ms (1.3%)

regimes51.0ms (3.3%)

regimes9.0ms (0.6%)

bsearch15.0ms (1%)

simplify3.0ms (0.2%)

soundness73.0ms (4.8%)

end0.0ms (0%)

preprocess36.0ms (2.4%)

Profiling