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. Total time spent on operations: 0.0ms

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.1s (52.9%)

Results

784.0ms	6478×	256	valid
277.0ms	1777×	256	infinite
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 200.0ms

Operation ival-mult, time spent: 138.0ms, 69.0% of total-time

Operation ival-add, time spent: 52.0ms, 26.0% of total-time

Operation const, time spent: 10.0ms, 5.0% of total-time

Bogosity

preprocess158.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

658×	`fma-define`
536×	`fma-neg`
158×	`unsub-neg`
138×	`associate-l`
120×	`associate-r`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
9	-	-	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
0	-	-	`(*.f64 d1 d3)`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`d3`
0	-	-	`d1`
0	-	-	`d2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1018	246
5	1573	246
6	1676	246
7	1678	246

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

Click to see histograms. Total time spent on operations: 12.0ms

Operation ival-mult, time spent: 8.0ms, 68.0% of total-time

Operation ival-add, time spent: 3.0ms, 25.0% of total-time

Operation const, time spent: 1.0ms, 8.0% of total-time

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize26.0ms (1.3%)

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. Total time spent on operations: 4.0ms

Operation ival-add, time spent: 2.0ms, 45.0% of total-time

Operation ival-mult, time spent: 2.0ms, 45.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series7.0ms (0.3%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 d3))>

Outputs
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>

Calls

9 calls:

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

rewrite186.0ms (8.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1364×	`prod-diff`
1066×	`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	1729	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)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.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)) 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))))
(log1p.f64 (expm1.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 (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))
(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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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))

simplify76.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1290×	`fma-neg`
1030×	`fma-define`
782×	`distribute-lft-neg-in`
710×	`distribute-rgt-neg-in`
666×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	2105
1	440	2090
2	1253	2085
3	4142	2072

Stop Event

1×	node limit

Counts

84 → 74

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 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(*.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 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 d3)
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) 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)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.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)) 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))))
(log1p.f64 (expm1.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 (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))
(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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 d3))
(fma.f64 (.f64 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 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))
(*.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 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) 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 (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 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))) 2)
(-.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)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d3 3) (pow.f64 d2 3))) (fma.f64 d1 (.f64 (pow.f64 d2 2) d1) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(.f64 (pow.f64 d1 3) (/.f64 (+.f64 (pow.f64 d3 3) (pow.f64 d2 3)) (.f64 d1 (+.f64 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (*.f64 d1 (pow.f64 d2 2))))))
(.f64 (pow.f64 d1 3) (/.f64 (+.f64 (pow.f64 d3 3) (pow.f64 d2 3)) (.f64 d1 (*.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 2))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.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 (-.f64 (pow.f64 d2 2) (pow.f64 d3 2))) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(/.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 d2 2) (pow.f64 d3 2)) d1) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 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))
(log1p.f64 (expm1.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 (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))
(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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.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 893 to 301 computations (66.3% saved)

prune11.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	4	75

Accuracy

100.0%

Counts

75 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	52.5%	(*.f64 d1 d3)
▶	56.5%	(*.f64 d1 d2)

Compiler

Compiled 29 to 18 computations (37.9% saved)

localize52.0ms (2.5%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 12.0ms

Operation ival-mult, time spent: 6.0ms, 51.0% of total-time

Operation composed, time spent: 4.0ms, 34.0% of total-time

Operation ival-add, time spent: 1.0ms, 9.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series5.0ms (0.2%)

Counts

1 → 36

Calls

Call 1

Inputs
#<alt (fma.f64 d2 d1 (*.f64 d1 d3))>

Outputs
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))>
#<alt (.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))>
#<alt (.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))>
#<alt (.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d2) (.f64 -1 d3))))>
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 -1 (.f64 d3 (+.f64 (.f64 -1 d1) (.f64 -1 (/.f64 (*.f64 d1 d2) d3)))))>

Calls

9 calls:

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

rewrite72.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

802×	`unpow-prod-down`
504×	`log-prod`
498×	`cbrt-prod`
440×	`log1p-expm1-u`
440×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

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

simplify108.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1194×	`times-frac`
844×	`fma-define`
720×	`prod-exp`
700×	`fma-neg`
594×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	2272
1	322	2224
2	1024	2196
3	3574	2196
4	7757	2196

Stop Event

1×	node limit

Counts

77 → 64

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

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

eval13.0ms (0.6%)

Compiler: Compiled 869 to 309 computations (64.4% saved)

prune11.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	64	4	68

Accuracy

100.0%

Counts

68 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.3%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	52.5%	(*.f64 d1 d3)
✓	56.5%	(*.f64 d1 d2)

Compiler

Compiled 56 to 27 computations (51.8% saved)

regimes17.0ms (0.8%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	d1
4.0ms	d3
4.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 22 to 15 computations (31.8% saved)

regimes38.0ms (1.8%)

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:

15.0ms	d1
12.0ms	d3
11.0ms	d2

Results

Accuracy	Segments	Branch
66.1%	6	`d1`
87.3%	4	`d2`
84.5%	4	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes8.0ms (0.4%)

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
2.0ms	d2
2.0ms	d3

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch36.0ms (1.7%)

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
14.0ms	-2.548483876647069e-114	-2.0306969347375424e-116
15.0ms	-1.0047666056472484e-49	-1.9742493378748525e-51
7.0ms	-3.611445552136763e-33	-2.2059413783208555e-33

Results

27.0ms	257×	256	valid
3.0ms	30×	256	infinite
1.0ms	1×	256	valid

Compiler

Compiled 268 to 191 computations (28.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 8.0ms

Operation ival-mult, time spent: 4.0ms, 50.0% of total-time

Operation ival-add, time spent: 3.0ms, 37.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

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 -4384504911992709/1461501637330902918203684832716283019655932542976) (*.f64 d1 d2) (if (<=.f64 d2 -8424983333484575/3369993333393829974333376885877453834204643052817571560137951281152) (*.f64 d1 d3) (if (<=.f64 d2 -6931674235302037/2772669694120814859578414184143083703436437075375816575170479580614621307805625623039974406104139578097391210961403571828974157824) (*.f64 d1 d2) (*.f64 d1 d3))))

(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 -4384504911992709/1461501637330902918203684832716283019655932542976) (.f64 d1 d2) (if (<=.f64 d2 -8424983333484575/3369993333393829974333376885877453834204643052817571560137951281152) (.f64 d1 d3) (if (<=.f64 d2 -6931674235302037/2772669694120814859578414184143083703436437075375816575170479580614621307805625623039974406104139578097391210961403571828974157824) (.f64 d1 d2) (.f64 d1 d3))))
(if (<=.f64 d2 -4384504911992709/1461501637330902918203684832716283019655932542976) (.f64 d1 d2) (if (or (<=.f64 d2 -8424983333484575/3369993333393829974333376885877453834204643052817571560137951281152) (not (<=.f64 d2 -6931674235302037/2772669694120814859578414184143083703436437075375816575170479580614621307805625623039974406104139578097391210961403571828974157824))) (.f64 d1 d3) (*.f64 d1 d2)))
(if (or (<=.f64 d2 -4384504911992709/1461501637330902918203684832716283019655932542976) (not (or (<=.f64 d2 -8424983333484575/3369993333393829974333376885877453834204643052817571560137951281152) (not (<=.f64 d2 -6931674235302037/2772669694120814859578414184143083703436437075375816575170479580614621307805625623039974406104139578097391210961403571828974157824))))) (.f64 d1 d2) (.f64 d1 d3))
(if (or (<=.f64 d2 -4384504911992709/1461501637330902918203684832716283019655932542976) (and (not (<=.f64 d2 -8424983333484575/3369993333393829974333376885877453834204643052817571560137951281152)) (<=.f64 d2 -6931674235302037/2772669694120814859578414184143083703436437075375816575170479580614621307805625623039974406104139578097391210961403571828974157824))) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Compiler

Compiled 36 to 24 computations (33.3% saved)

soundness80.0ms (3.8%)

Rules

658×	`fma-define`
536×	`fma-neg`
158×	`unsub-neg`
138×	`associate-l`
120×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1018	246
5	1573	246
6	1676	246
7	1678	246

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess54.0ms (2.6%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 192 to 116 computations (39.6% saved)

analyze0.0ms (0%)

sample1.1s (52.9%)

preprocess158.0ms (7.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize26.0ms (1.3%)

series7.0ms (0.3%)

rewrite186.0ms (8.9%)

simplify76.0ms (3.6%)

eval14.0ms (0.7%)

prune11.0ms (0.5%)

localize52.0ms (2.5%)

series5.0ms (0.2%)

rewrite72.0ms (3.5%)

simplify108.0ms (5.2%)

eval13.0ms (0.6%)

prune11.0ms (0.5%)

regimes17.0ms (0.8%)

regimes38.0ms (1.8%)

regimes8.0ms (0.4%)

bsearch36.0ms (1.7%)

simplify5.0ms (0.3%)

soundness80.0ms (3.8%)

end0.0ms (0%)

preprocess54.0ms (2.6%)

Profiling