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)

sample1.0s (52.6%)

Results

817.0ms	6497×	body	256	valid
199.0ms	1759×	body	256	infinite

Bogosity

preprocess118.0ms (6%)

Algorithm

1×	egg-herbie

Rules

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

Problems

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort d2 d3)

Compiler

Compiled 30 to 13 computations (56.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

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)

localize22.0ms (1.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)

series6.0ms (0.3%)

Counts

1 → 24

Calls

9 calls:

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

rewrite99.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1364×	`prod-diff`
840×	`unpow-prod-down`
633×	`log1p-expm1-u`
633×	`expm1-log1p-u`
608×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	122	22
2	1721	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 (.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 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))

simplify65.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1074×	`fma-def`
590×	`cancel-sign-sub-inv`
484×	`distribute-lft-in`
470×	`distribute-rgt-neg-in`
458×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	2145
1	410	2107
2	1103	2055
3	4713	2007

Stop Event

1×	node limit

Counts

84 → 76

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

eval14.0ms (0.7%)

Compiler: Compiled 908 to 331 computations (63.5% saved)

prune13.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

100.0%

Counts

77 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
▶	98.4%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	55.8%	(*.f64 d1 d3)
▶	51.3%	(*.f64 d1 d2)
▶	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
▶	98.4%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	55.8%	(*.f64 d1 d3)
▶	51.3%	(*.f64 d1 d2)

Compiler

Compiled 76 to 46 computations (39.5% saved)

localize81.0ms (4.1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 38 to 8 computations (78.9% saved)

series6.0ms (0.3%)

Counts

2 → 72

Calls

18 calls:

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

rewrite65.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1628×	`prod-diff`
794×	`unpow-prod-down`
626×	`log-prod`
535×	`log1p-expm1-u`
535×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	54
1	148	44
2	1699	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 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 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 (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 (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 (.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 d2 d3)))
(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 d1) d2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d2 d1)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.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 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 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 (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 (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 (.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 d2 d3)))
(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 d1) d2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d3))) (+.f64 1 (expm1.f64 (*.f64 d2 d1)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.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))))

simplify98.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1068×	`fma-def`
930×	`log-prod`
752×	`distribute-lft-in`
716×	`distribute-rgt-in`
514×	`cube-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	4958
1	463	4762
2	1540	4644
3	5841	4476

Stop Event

1×	node limit

Counts

182 → 72

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

eval24.0ms (1.2%)

Compiler: Compiled 1002 to 355 computations (64.6% saved)

prune12.0ms (0.6%)

Pruning

5 alts after pruning (0 fresh and 5 done)

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

Accuracy

100.0%

Counts

77 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(fma.f64 d3 d1 (*.f64 d1 d2))
✓	98.4%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	55.8%	(*.f64 d1 d3)
✓	51.3%	(*.f64 d1 d2)

Compiler

Compiled 71 to 33 computations (53.5% saved)

regimes22.0ms (1.1%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	d3
5.0ms	d1
5.0ms	d2
4.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

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

Compiler

Compiled 55 to 25 computations (54.5% saved)

regimes115.0ms (5.9%)

Counts

2 → 4

Calls

Call 1

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

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

Calls

3 calls:

91.0ms	d1
14.0ms	d2
9.0ms	d3

Results

Accuracy	Segments	Branch
70.3%	9	`d1`
87.9%	4	`d2`
84.0%	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes9.0ms (0.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

3.0ms	d1
3.0ms	d3
3.0ms	d2

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch36.0ms (1.9%)

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	-5.604672728925349e-142	-7.052463076809759e-145
15.0ms	-2.3318343068323552e-65	-1.3230650177921473e-73
8.0ms	-41394.41999646611	-11470.816628964509

Results

28.0ms	314×	body	256	valid
3.0ms	38×	body	256	infinite

Compiler

Compiled 324 to 231 computations (28.7% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
4×	`not-or`
4×	`if-if-or-not`
2×	`+-commutative`
2×	`not-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	117
1	34	111
2	37	111
3	40	107
4	41	107
5	42	107

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d2 -13500) (*.f64 d1 d2) (if (<=.f64 d2 -3978585891278293/248661618204893321077691124073410420050228075398673858720231988446579748506266687766528) (*.f64 d1 d3) (if (<=.f64 d2 -7551277426143671/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304) (*.f64 d1 d2) (*.f64 d1 d3))))

(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 -13500) (.f64 d1 d2) (if (<=.f64 d2 -3978585891278293/248661618204893321077691124073410420050228075398673858720231988446579748506266687766528) (.f64 d1 d3) (if (<=.f64 d2 -7551277426143671/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304) (.f64 d1 d2) (.f64 d1 d3))))
(if (<=.f64 d2 -13500) (.f64 d1 d2) (if (or (<=.f64 d2 -3978585891278293/248661618204893321077691124073410420050228075398673858720231988446579748506266687766528) (not (<=.f64 d2 -7551277426143671/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304))) (.f64 d1 d3) (*.f64 d1 d2)))
(if (or (<=.f64 d2 -13500) (not (or (<=.f64 d2 -3978585891278293/248661618204893321077691124073410420050228075398673858720231988446579748506266687766528) (not (<=.f64 d2 -7551277426143671/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304))))) (.f64 d1 d2) (.f64 d1 d3))
(if (or (<=.f64 d2 -13500) (and (not (<=.f64 d2 -3978585891278293/248661618204893321077691124073410420050228075398673858720231988446579748506266687766528)) (<=.f64 d2 -7551277426143671/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304))) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Compiler

Compiled 36 to 24 computations (33.3% saved)

soundness73.0ms (3.7%)

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess40.0ms (2.1%)

Remove: (sort d2 d3)
Compiler: Compiled 112 to 66 computations (41.1% saved)

analyze0.0ms (0%)

sample1.0s (52.6%)

preprocess118.0ms (6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize22.0ms (1.1%)

series6.0ms (0.3%)

rewrite99.0ms (5.1%)

simplify65.0ms (3.3%)

eval14.0ms (0.7%)

prune13.0ms (0.7%)

localize81.0ms (4.1%)

series6.0ms (0.3%)

rewrite65.0ms (3.3%)

simplify98.0ms (5%)

eval24.0ms (1.2%)

prune12.0ms (0.6%)

regimes22.0ms (1.1%)

regimes115.0ms (5.9%)

regimes9.0ms (0.5%)

bsearch36.0ms (1.9%)

simplify4.0ms (0.2%)

soundness73.0ms (3.7%)

end0.0ms (0%)

preprocess40.0ms (2.1%)

Profiling