Metrics for FastMath dist

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

sample1.2s (40.4%)

Results

960.0ms	6572×	body	256	valid
191.0ms	1684×	body	256	infinite

Bogosity

preprocess60.0ms (2.1%)

Algorithm

1×	egg-herbie

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	26	116
1	73	110
2	142	108
3	228	108
4	446	108
5	632	108
6	1019	108
7	1474	108
8	1575	108
9	1577	108

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 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))
(+.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 10 to 6 computations (40% 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.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize74.0ms (2.6%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 9 computations (71% saved)

series8.0ms (0.3%)

Counts

2 → 42

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	-inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
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))
0.0ms	d2	@	-inf	(*.f64 d1 (+.f64 d2 d3))

rewrite82.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1098×	`log-prod`
1040×	`fma-def`
894×	`pow-prod-down`
504×	`pow-exp`
498×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	223	26
2	3009	26

Stop Event

1×	node limit

Counts

2 → 160

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

simplify112.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1562×	`times-frac`
1384×	`fma-def`
676×	`distribute-lft-in`
674×	`associate-/l*`
636×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	232	4066
1	606	3970
2	1604	3970

Stop Event

1×	node limit

Counts

202 → 107

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

eval101.0ms (3.5%)

Compiler: Compiled 1366 to 458 computations (66.5% saved)

prune59.0ms (2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	104	5	109

Accuracy

100.0%

Counts

109 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	50.3%	(*.f64 d1 d3)
▶	59.4%	(*.f64 d1 d2)
▶	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	50.3%	(*.f64 d1 d3)
▶	59.4%	(*.f64 d1 d2)

Compiler

Compiled 78 to 48 computations (38.5% saved)

localize111.0ms (3.9%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series48.0ms (1.7%)

Counts

1 → 36

Calls

9 calls:

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

rewrite72.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1518×	`pow1`
1380×	`add-exp-log`
1380×	`log1p-expm1-u`
1380×	`expm1-log1p-u`
1348×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	157	13
2	1869	13

Stop Event

1×	node limit

Counts

1 → 22

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

simplify73.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1702×	`fma-neg`
890×	`associate-/l*`
676×	`log-prod`
566×	`fma-def`
496×	`exp-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	846
1	190	828
2	746	820
3	2771	790
4	6958	790

Stop Event

1×	node limit

Counts

58 → 35

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

eval6.0ms (0.2%)

Compiler: Compiled 434 to 143 computations (67.1% saved)

prune8.0ms (0.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	0	0
Picked	1	2	3
Done	0	2	2
Total	35	5	40

Accuracy

100.0%

Counts

40 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	46.6%	(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
✓	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	50.3%	(*.f64 d1 d3)
✓	59.4%	(*.f64 d1 d2)
▶	46.6%	(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
✓	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	50.3%	(*.f64 d1 d3)
✓	59.4%	(*.f64 d1 d2)

Compiler

Compiled 100 to 56 computations (44% saved)

localize42.0ms (1.5%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	99.7%	(.f64 (.f64 d1 (+.f64 d2 d3)) (*.f64 d1 (-.f64 d3 d2)))
✓	48.3%	(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))

Compiler

Compiled 51 to 10 computations (80.4% saved)

series6.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite137.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1678×	`log-prod`
908×	`fma-def`
460×	`expm1-udef`
460×	`log1p-udef`
390×	`log-div`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	80
1	260	44
2	4487	44

Stop Event

1×	node limit

Counts

2 → 143

Calls

Call 1

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

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

simplify308.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

910×	`div-sub`
840×	`associate-l`
778×	`log-prod`
750×	`associate-r`
586×	`associate-/l*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	378	5539
1	1072	5151
2	5051	5103

Stop Event

1×	node limit

Counts

215 → 188

Calls

Call 1

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

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

eval149.0ms (5.2%)

Compiler: Compiled 5733 to 1338 computations (76.7% saved)

prune42.0ms (1.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	277	0	277
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	277	5	282

Accuracy

100.0%

Counts

282 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.6%	(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
✓	98.8%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	50.3%	(*.f64 d1 d3)
✓	59.4%	(*.f64 d1 d2)

Compiler

Compiled 94 to 41 computations (56.4% saved)

regimes22.0ms (0.8%)

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

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

Calls

4 calls:

5.0ms	d1
5.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
5.0ms	d2
5.0ms	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 66 to 28 computations (57.6% saved)

regimes42.0ms (1.5%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

23.0ms	d1
12.0ms	d3
7.0ms	d2

Results

Accuracy	Segments	Branch
69.6%	8	`d1`
87.9%	2	`d2`
88.7%	4	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes13.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

2 calls:

10.0ms	d3
3.0ms	d2

Results

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch11.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	-5.4640445070944826e-142	-1.5604622858761415e-143

Results

9.0ms	101×	body	256	valid
1.0ms	11×	body	256	infinite

Compiler

Compiled 114 to 81 computations (28.9% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	19	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d2 -3706990736470529/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

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

(if (<=.f64 d2 -3706990736470529/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness84.0ms (2.9%)

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	26	116
1	73	110
2	142	108
3	228	108
4	446	108
5	632	108
6	1019	108
7	1474	108
8	1575	108
9	1577	108

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess36.0ms (1.3%)

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

analyze1.0ms (0%)

sample1.2s (40.4%)

preprocess60.0ms (2.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize74.0ms (2.6%)

series8.0ms (0.3%)

rewrite82.0ms (2.8%)

simplify112.0ms (3.9%)

eval101.0ms (3.5%)

prune59.0ms (2%)

localize111.0ms (3.9%)

series48.0ms (1.7%)

rewrite72.0ms (2.5%)

simplify73.0ms (2.6%)

eval6.0ms (0.2%)

prune8.0ms (0.3%)

localize42.0ms (1.5%)

series6.0ms (0.2%)

rewrite137.0ms (4.8%)

simplify308.0ms (10.7%)

eval149.0ms (5.2%)

prune42.0ms (1.5%)

regimes22.0ms (0.8%)

regimes42.0ms (1.5%)

regimes13.0ms (0.5%)

bsearch11.0ms (0.4%)

simplify5.0ms (0.2%)

soundness84.0ms (2.9%)

end0.0ms (0%)

preprocess36.0ms (1.3%)

Profiling