Metrics for FastMath dist

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

Click to see histograms

Operation ival-mult, total time spent: 0.0ms

Operation ival-add, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

sample1.0s (50.1%)

Results

796.0ms	6512×	body	256	valid
220.0ms	1744×	body	256	infinite

Precisions

Click to see histograms

Operation ival-mult, total time spent: 148.0ms

Operation ival-add, total time spent: 60.0ms

Operation const, total time spent: 10.0ms

Bogosity

preprocess123.0ms (6%)

Algorithm

1×	egg-herbie

Rules

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

Problems

252×	No Errors
4×	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(*.f64 (neg.f64 d1) (+.f64 d2 d3))
(*.f64 d1 (-.f64 (neg.f64 d2) d3))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 -1 d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3)))
(*.f64 d1 (+.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3))))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 -1 d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 30 to 13 computations (56.7% saved)

Precisions

Click to see histograms

Operation ival-mult, total time spent: 4.0ms

Operation ival-add, total time spent: 2.0ms

Operation const, total time spent: 0.0ms

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

localize42.0ms (2.1%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 6 computations (60% saved)

Precisions

Click to see histograms

Operation ival-mult, total time spent: 2.0ms

Operation ival-add, total time spent: 2.0ms

Operation const, total time spent: 0.0ms

series3.0ms (0.2%)

Counts

1 → 24

Calls

9 calls:

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

rewrite205.0ms (10%)

Algorithm

1×	batch-egg-rewrite

Rules

1364×	`prod-diff`
836×	`unpow-prod-down`
630×	`log1p-expm1-u`
630×	`expm1-log1p-u`
608×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 60

Calls

Call 1

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

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

simplify78.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1084×	`fma-def`
590×	`cancel-sign-sub-inv`
468×	`distribute-rgt-neg-in`
466×	`distribute-lft-in`
452×	`log-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	2145
1	410	2107
2	1109	2055
3	4786	2007

Stop Event

1×	node limit

Counts

84 → 77

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

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

eval17.0ms (0.8%)

Compiler: Compiled 926 to 341 computations (63.2% saved)

prune13.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	73	5	78

Accuracy

100.0%

Counts

78 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 76 to 46 computations (39.5% saved)

localize78.0ms (3.8%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 38 to 8 computations (78.9% saved)

Precisions

Click to see histograms

Operation ival-mult, total time spent: 4.0ms

Operation ival-fma, total time spent: 29.0ms

Operation const, total time spent: 0.0ms

series9.0ms (0.4%)

Counts

2 → 72

Calls

18 calls:

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

rewrite86.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 110

Calls

Call 1

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

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

simplify111.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit

Counts

182 → 71

Calls

Call 1

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

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

eval13.0ms (0.6%)

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

prune15.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	71	5	76

Accuracy

100.0%

Counts

76 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.8%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	55.0%	(*.f64 d1 d3)
✓	51.5%	(*.f64 d1 d2)

Compiler

Compiled 71 to 33 computations (53.5% saved)

regimes29.0ms (1.4%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

11.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
6.0ms	d2
5.0ms	d3
5.0ms	d1

Results

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

Compiler

Compiled 55 to 25 computations (54.5% saved)

regimes42.0ms (2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	d1
10.0ms	d3
10.0ms	d2

Results

Accuracy	Segments	Branch
64.5%	6	`d1`
84.0%	2	`d2`
86.9%	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes10.0ms (0.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

4.0ms	d2
3.0ms	d3
3.0ms	d1

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch15.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	5.227115106211171e-124	8.076362840540595e-122

Results

10.0ms	95×	body	256	valid
2.0ms	17×	body	256	infinite

Compiler

Compiled 114 to 81 computations (28.9% saved)

Precisions

Click to see histograms

Operation ival-mult, total time spent: 2.0ms

Operation ival-add, total time spent: 1.0ms

Operation const, total time spent: 0.0ms

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	73
1	23	73

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d3 7442828536787015/93035356709837681990313447409664580397266094167976711716030745495121828878514934185752454491361736391777602765602070775492429008462675968) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

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

(if (<=.f64 d3 7442828536787015/93035356709837681990313447409664580397266094167976711716030745495121828878514934185752454491361736391777602765602070775492429008462675968) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness87.0ms (4.2%)

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess45.0ms (2.2%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 174 to 102 computations (41.4% saved)

analyze0.0ms (0%)

sample1.0s (50.1%)

preprocess123.0ms (6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize42.0ms (2.1%)

series3.0ms (0.2%)

rewrite205.0ms (10%)

simplify78.0ms (3.8%)

eval17.0ms (0.8%)

prune13.0ms (0.6%)

localize78.0ms (3.8%)

series9.0ms (0.4%)

rewrite86.0ms (4.2%)

simplify111.0ms (5.4%)

eval13.0ms (0.6%)

prune15.0ms (0.7%)

regimes29.0ms (1.4%)

regimes42.0ms (2%)

regimes10.0ms (0.5%)

bsearch15.0ms (0.7%)

simplify3.0ms (0.1%)

soundness87.0ms (4.2%)

end0.0ms (0%)

preprocess45.0ms (2.2%)

Profiling