Metrics for FastMath test2

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 14 to 10 computations (28.6% saved)

sample1.2s (43.5%)

Results

898.0ms	7080×	body	256	valid
225.0ms	1073×	body	256	infinite
13.0ms	71×	body	1024	valid
4.0ms	32×	body	512	valid

Bogosity

preprocess216.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

2540×	`fma-def`
736×	`fma-neg`
324×	`unsub-neg`
244×	`cancel-sign-sub-inv`
228×	`distribute-rgt-in`

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	258
1	93	183
2	291	141
3	870	133
4	2078	133
5	3173	133
6	3872	133
7	3902	133
8	3902	133
9	4084	133
10	4084	133

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(neg.f64 (+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (.f64 (neg.f64 d1) (+.f64 10 d2)) (.f64 20 (neg.f64 d1)))
(*.f64 (neg.f64 d1) (+.f64 (+.f64 10 d2) 20))
(*.f64 (neg.f64 d1) (+.f64 d2 30))
(*.f64 d1 (-.f64 -30 d2))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 10 (neg.f64 d2))))
(*.f64 d1 (+.f64 20 (-.f64 10 d2)))
(*.f64 d1 (-.f64 30 d2))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(neg.f64 (+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(neg.f64 (+.f64 (.f64 d1 20) (.f64 d1 (+.f64 10 (neg.f64 d2)))))
(neg.f64 (*.f64 d1 (+.f64 20 (-.f64 10 d2))))
(*.f64 (neg.f64 d1) (-.f64 30 d2))
(*.f64 d1 (+.f64 d2 -30))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (.f64 d2 (+.f64 10 d1)) (.f64 d2 20))
(*.f64 d2 (+.f64 (+.f64 d1 10) 20))
(*.f64 d2 (+.f64 d1 30))

Symmetry

(negabs d1)

Compiler

Compiled 47 to 28 computations (40.4% saved)

eval3.0ms (0.1%)

Compiler: Compiled 23 to 16 computations (30.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize25.0ms (0.9%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite237.0ms (8.9%)

Algorithm

1×	batch-egg-rewrite

Rules

680×	`unpow-prod-down`
515×	`log1p-expm1-u`
515×	`expm1-log1p-u`
498×	`log-prod`
480×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	106	19
2	1418	19

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 30)))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 d2 30))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (-.f64 (pow.f64 (.f64 d1 30) 2) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 30) 2)) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 30))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))

simplify66.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1282×	`associate-/r*`
1128×	`fma-def`
558×	`fma-neg`
446×	`cancel-sign-sub-inv`
418×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	1811
1	384	1760
2	1044	1739
3	4189	1735

Stop Event

1×	node limit

Counts

77 → 73

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 30)))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 d2 30))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (-.f64 (pow.f64 (.f64 d1 30) 2) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 30) 2)) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 30))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))

Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 30 d2)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 30 d2)) d1))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 30 d2)) d1))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 30 d2)) d1))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 d2 30))) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (-.f64 (pow.f64 (.f64 d1 30) 2) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)))))
(/.f64 (pow.f64 d1 3) (/.f64 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2)) (+.f64 27000 (pow.f64 d2 3))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (.f64 d1 (+.f64 (/.f64 d1 1/900) (.f64 d2 (.f64 d1 (+.f64 d2 -30))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 30) 2)) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 d2 d2 900) (.f64 d2 -30)))
(*.f64 d1 (/.f64 (+.f64 27000 (pow.f64 d2 3)) (fma.f64 d2 -30 (fma.f64 d2 d2 900))))
(.f64 d1 (/.f64 (+.f64 27000 (pow.f64 d2 3)) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 d1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 d2 d2 900) (.f64 d2 -30)))
(*.f64 d1 (/.f64 (+.f64 27000 (pow.f64 d2 3)) (fma.f64 d2 -30 (fma.f64 d2 d2 900))))
(.f64 d1 (/.f64 (+.f64 27000 (pow.f64 d2 3)) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(/.f64 d1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 d2 30)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(*.f64 d1 (+.f64 30 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 d2 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 30 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))

eval22.0ms (0.8%)

Compiler: Compiled 833 to 527 computations (36.7% saved)

prune12.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	4	74

Accuracy

100.0%

Counts

74 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	49.4%	(*.f64 d1 d2)
▶	53.2%	(*.f64 d1 30)
▶	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	49.4%	(*.f64 d1 d2)
▶	53.2%	(*.f64 d1 30)

Compiler

Compiled 50 to 34 computations (32% saved)

localize62.0ms (2.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))

Compiler

Compiled 25 to 10 computations (60% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite66.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

528×	`unpow-prod-down`
412×	`log-prod`
404×	`cbrt-prod`
357×	`log1p-expm1-u`
357×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	88	19
2	969	19

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

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

simplify70.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1658×	`times-frac`
960×	`fma-def`
544×	`log-prod`
538×	`distribute-lft-in`
494×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	1681
1	310	1598
2	1006	1573
3	4535	1571

Stop Event

1×	node limit

Counts

65 → 56

Calls

Call 1

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

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

eval17.0ms (0.6%)

Compiler: Compiled 730 to 516 computations (29.3% saved)

prune10.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	56	4	60

Accuracy

100.0%

Counts

60 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	49.4%	(*.f64 d1 d2)
✓	53.2%	(*.f64 d1 30)

Compiler

Compiled 55 to 33 computations (40% saved)

regimes16.0ms (0.6%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(fma.f64 d1 30 (*.f64 d1 d2))

Outputs
(fma.f64 d1 30 (*.f64 d1 d2))

Calls

3 calls:

6.0ms	d1
4.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
4.0ms	d2

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Compiler

Compiled 49 to 29 computations (40.8% saved)

regimes13.0ms (0.5%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

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

Calls

3 calls:

4.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
4.0ms	d1
4.0ms	d2

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Compiler

Compiled 43 to 27 computations (37.2% saved)

regimes114.0ms (4.3%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

100.0ms	d1
11.0ms	d2

Results

Accuracy	Segments	Branch
67.0%	9	`d1`
98.4%	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes6.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)

Outputs
(*.f64 d1 30)

Calls

2 calls:

3.0ms	d2
3.0ms	d1

Results

Accuracy	Segments	Branch
53.2%	1	`d1`
53.2%	1	`d2`

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch41.0ms (1.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
20.0ms	1.3497389076126927	328.66033141930836
21.0ms	-6271.517448580492	-2.8792439509957287e-21

Results

37.0ms

288×

body

256

valid

Compiler

Compiled 234 to 175 computations (25.2% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	107
1	31	107

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (.f64 d1 d2) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d1 d2)))
(*.f64 d1 30)

Outputs
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(if (<=.f64 d2 -30) (.f64 d1 d2) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d1 d2)))
(if (or (<=.f64 d2 -30) (not (<=.f64 d2 30))) (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 30)

Compiler

Compiled 37 to 26 computations (29.7% saved)

soundness438.0ms (16.5%)

Rules

2540×	`fma-def`
1282×	`associate-/r*`
1128×	`fma-def`
736×	`fma-neg`
680×	`unpow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	258
1	93	183
2	291	141
3	870	133
4	2078	133
5	3173	133
6	3872	133
7	3902	133
8	3902	133
9	4084	133
10	4084	133
0	10	19
1	106	19
2	1418	19
0	157	1811
1	384	1760
2	1044	1739
3	4189	1735

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 81 to 53 computations (34.6% saved)

end0.0ms (0%)

preprocess49.0ms (1.9%)

Remove: (negabs d1)
Compiler: Compiled 166 to 106 computations (36.1% saved)

analyze0.0ms (0%)

sample1.2s (43.5%)

preprocess216.0ms (8.2%)

eval3.0ms (0.1%)

prune1.0ms (0%)

localize25.0ms (0.9%)

series2.0ms (0.1%)

rewrite237.0ms (8.9%)

simplify66.0ms (2.5%)

eval22.0ms (0.8%)

prune12.0ms (0.5%)

localize62.0ms (2.4%)

series3.0ms (0.1%)

rewrite66.0ms (2.5%)

simplify70.0ms (2.6%)

eval17.0ms (0.6%)

prune10.0ms (0.4%)

regimes16.0ms (0.6%)

regimes13.0ms (0.5%)

regimes114.0ms (4.3%)

regimes6.0ms (0.2%)

bsearch41.0ms (1.5%)

simplify5.0ms (0.2%)

soundness438.0ms (16.5%)

end0.0ms (0%)

preprocess49.0ms (1.9%)

Profiling