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)

sample834.0ms (34.3%)

Results

699.0ms	7060×	body	256	valid
107.0ms	1093×	body	256	infinite
13.0ms	69×	body	1024	valid
5.0ms	34×	body	512	valid

Bogosity

preprocess214.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

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

Problems

255×	No Errors
1×	`(+.f64 (.f64 d1 10) (.f64 d1 d2))`

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)

eval1.0ms (0%)

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

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 32 to 24 computations (25% saved)

localize52.0ms (2.1%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 33 to 22 computations (33.3% saved)

series3.0ms (0.1%)

Counts

3 → 60

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(*.f64 d1 (+.f64 d2 30))
1.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))

rewrite213.0ms (8.8%)

Algorithm

1×	batch-egg-rewrite

Rules

968×	`log1p-expm1-u`
968×	`expm1-log1p-u`
942×	`prod-diff`
280×	`expm1-udef`
280×	`log1p-udef`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	54
1	201	48
2	3041	48

Stop Event

1×	node limit

Counts

3 → 126

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 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)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 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)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(*.f64 (+.f64 d2 30) 1)
(*.f64 1 (+.f64 d2 30))
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(/.f64 1 (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30)))))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(pow.f64 (+.f64 d2 30) 1)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(log.f64 (exp.f64 (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(exp.f64 (log.f64 (+.f64 d2 30)))
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(fma.f64 1 d2 30)
(fma.f64 1 (+.f64 d2 10) 20)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)

simplify82.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1550×	`fma-def`
872×	`times-frac`
780×	`associate-/l*`
740×	`unswap-sqr`
396×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	245	5358
1	681	4947
2	2448	4499

Stop Event

1×	node limit

Counts

186 → 125

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 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))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 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)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 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)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(*.f64 (+.f64 d2 30) 1)
(*.f64 1 (+.f64 d2 30))
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(/.f64 1 (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30)))))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(pow.f64 (+.f64 d2 30) 1)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(log.f64 (exp.f64 (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(exp.f64 (log.f64 (+.f64 d2 30)))
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(fma.f64 1 d2 30)
(fma.f64 1 (+.f64 d2 10) 20)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 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 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))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.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 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (.f64 (pow.f64 d1 3) 8000)) (+.f64 (.f64 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (-.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 d1 (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (*.f64 d1 (-.f64 10 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 400 d1) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 (+.f64 d2 -10)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (.f64 (pow.f64 d2 2) (*.f64 d1 d1))))
(/.f64 (pow.f64 d1 3) (/.f64 (.f64 d1 (+.f64 (.f64 (pow.f64 d2 2) d1) (*.f64 d1 (fma.f64 d2 -30 900)))) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (.f64 (.f64 d1 (+.f64 20 (+.f64 d2 10))) (.f64 d1 (-.f64 (+.f64 d2 10) 20))) (.f64 d1 (-.f64 (+.f64 d2 10) 20)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 (+.f64 d2 10) 2) 400)) (*.f64 d1 (+.f64 d2 -10)))
(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 (.f64 d1 (+.f64 20 (+.f64 d2 10))) (.f64 d1 (-.f64 (+.f64 d2 10) 20))) (.f64 d1 (-.f64 (+.f64 d2 10) 20)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 (+.f64 d2 10) 2) 400)) (*.f64 d1 (+.f64 d2 -10)))
(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400) d1))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 (+.f64 d2 -10) d1))
(*.f64 (/.f64 d1 (+.f64 d2 -10)) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 30 d2))) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 900 (.f64 d2 (+.f64 d2 -30))))
(*.f64 (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)) (+.f64 (pow.f64 d2 3) 27000))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)) d1)
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400) d1))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 (+.f64 d2 -10) d1))
(*.f64 (/.f64 d1 (+.f64 d2 -10)) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 30 d2))) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 900 (.f64 d2 (+.f64 d2 -30))))
(*.f64 (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)) (+.f64 (pow.f64 d2 3) 27000))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)) d1)
(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)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.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))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 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 (.f64 d1 (+.f64 d2 30))) 1))
(*.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 (+.f64 d2 10) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(*.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 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (.f64 (pow.f64 d1 3) 8000)) (+.f64 (.f64 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (-.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 d1 (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (*.f64 d1 (-.f64 10 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 400 d1) (.f64 (.f64 d1 (+.f64 d2 10)) (*.f64 d1 (+.f64 d2 -10)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (*.f64 d1 30)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (.f64 (pow.f64 d2 2) (*.f64 d1 d1))))
(/.f64 (pow.f64 d1 3) (/.f64 (.f64 d1 (+.f64 (.f64 (pow.f64 d2 2) d1) (*.f64 d1 (fma.f64 d2 -30 900)))) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (-.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))
(/.f64 (.f64 (.f64 d1 (+.f64 20 (+.f64 d2 10))) (.f64 d1 (-.f64 (+.f64 d2 10) 20))) (.f64 d1 (-.f64 (+.f64 d2 10) 20)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 (+.f64 d2 10) 2) 400)) (*.f64 d1 (+.f64 d2 -10)))
(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 (.f64 d1 (+.f64 20 (+.f64 d2 10))) (.f64 d1 (-.f64 (+.f64 d2 10) 20))) (.f64 d1 (-.f64 (+.f64 d2 10) 20)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 (+.f64 d2 10) 2) 400)) (*.f64 d1 (+.f64 d2 -10)))
(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400) d1))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 (+.f64 d2 -10) d1))
(*.f64 (/.f64 d1 (+.f64 d2 -10)) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 30 d2))) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 900 (.f64 d2 (+.f64 d2 -30))))
(*.f64 (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)) (+.f64 (pow.f64 d2 3) 27000))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)) d1)
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400) d1))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 (+.f64 d2 -10) d1))
(*.f64 (/.f64 d1 (+.f64 d2 -10)) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 30 d2))) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (+.f64 900 (.f64 d2 (+.f64 d2 -30))))
(*.f64 (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)) (+.f64 (pow.f64 d2 3) 27000))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 (/.f64 d1 (+.f64 d2 -30)) (fma.f64 d2 d2 -900))
(*.f64 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)) d1)
(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)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.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))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 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 (.f64 d1 (+.f64 d2 30))) 1))
(*.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 (+.f64 d2 10) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(+.f64 30 d2)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(*.f64 (+.f64 d2 30) 1)
(+.f64 30 d2)
(*.f64 1 (+.f64 d2 30))
(+.f64 30 d2)
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(+.f64 30 d2)
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30)))))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 30 d2)))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 (+.f64 d2 -30) 900))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 1 (/.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))) (+.f64 (pow.f64 d2 3) 27000)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 30 d2)))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 30 d2)))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 30 d2)))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30)))))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (fma.f64 d2 d2 (-.f64 900 (.f64 30 d2)))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 d2 -10))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (fma.f64 (+.f64 d2 10) (+.f64 d2 -10) 400))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (*.f64 (+.f64 d2 20) (-.f64 (+.f64 d2 20) 10))))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (fma.f64 (+.f64 d2 20) (+.f64 d2 10) 100))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (fma.f64 (+.f64 d2 10) (+.f64 d2 20) 100))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 -10 d2))
(/.f64 (fma.f64 (+.f64 d2 20) (-.f64 -20 d2) 100) (-.f64 -10 d2))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 -400 (+.f64 d2 -10)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(pow.f64 (+.f64 d2 30) 1)
(+.f64 30 d2)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(+.f64 30 d2)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(+.f64 30 d2)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(+.f64 30 d2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(+.f64 30 d2)
(log.f64 (exp.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(+.f64 30 d2)
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(+.f64 30 d2)
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(exp.f64 (log.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(+.f64 30 d2)
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(fma.f64 1 d2 30)
(+.f64 30 d2)
(fma.f64 1 (+.f64 d2 10) 20)
(+.f64 30 d2)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(+.f64 30 d2)

eval37.0ms (1.5%)

Compiler: Compiled 1689 to 1215 computations (28.1% saved)

prune18.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	122	5	127

Accuracy

100.0%

Counts

127 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	99.9%	(*.f64 d1 (+.f64 d2 30))
▶	48.7%	(*.f64 d1 d2)
▶	52.9%	(*.f64 d1 30)
▶	99.8%	(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	99.9%	(*.f64 d1 (+.f64 d2 30))
▶	48.7%	(*.f64 d1 d2)
▶	52.9%	(*.f64 d1 30)

Compiler

Compiled 70 to 52 computations (25.7% saved)

localize47.0ms (1.9%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.8%	(/.f64 d1 (/.f64 1 (+.f64 30 d2)))

Compiler

Compiled 32 to 20 computations (37.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite81.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

972×	`unpow-prod-down`
662×	`log1p-expm1-u`
662×	`expm1-log1p-u`
630×	`log-prod`
422×	`pow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	139	19
2	1849	19

Stop Event

1×	node limit

Counts

1 → 83

Calls

Call 1

Inputs
(/.f64 d1 (/.f64 1 (+.f64 30 d2)))

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

simplify66.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

940×	`distribute-lft-in`
932×	`distribute-rgt-in`
814×	`associate-*r/`
800×	`fma-def`
758×	`associate-*l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	2819
1	619	2637
2	2132	2617

Stop Event

1×	node limit

Counts

107 → 109

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

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

eval31.0ms (1.3%)

Compiler: Compiled 1457 to 1078 computations (26% saved)

prune17.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

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

Accuracy

100.0%

Counts

114 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	99.9%	(*.f64 d1 (+.f64 d2 30))
✓	48.7%	(*.f64 d1 d2)
✓	52.9%	(*.f64 d1 30)

Compiler

Compiled 73 to 50 computations (31.5% saved)

regimes19.0ms (0.8%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))

Calls

3 calls:

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

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 57 to 37 computations (35.1% saved)

regimes9.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	d1
4.0ms	d2

Results

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

regimes58.0ms (2.4%)

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:

43.0ms	d1
15.0ms	d2

Results

Accuracy	Segments	Branch
67.1%	13	`d1`
97.4%	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

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

1 calls:

4.0ms

d2

Results

Accuracy	Segments	Branch
52.9%	1	`d2`

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch29.0ms (1.2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.8889605452276494	354.70280118423915
17.0ms	-7355.190711625172	-12.88049405064844

Results

27.0ms

240×

body

256

valid

Compiler

Compiled 198 to 148 computations (25.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	108
1	37	108

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.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
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(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 38 to 28 computations (26.3% saved)

soundness554.0ms (22.8%)

Rules

2540×	`fma-def`
2540×	`fma-def`
1550×	`fma-def`
872×	`times-frac`
780×	`associate-/l*`

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
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	245	5358
1	681	4947
2	2448	4499

Stop Event

1×	node limit
1×	saturated
1×	saturated

Compiler

Compiled 85 to 59 computations (30.6% saved)

end0.0ms (0%)

preprocess51.0ms (2.1%)

Remove: (negabs d1)
Compiler: Compiled 176 to 128 computations (27.3% saved)

analyze0.0ms (0%)

sample834.0ms (34.3%)

preprocess214.0ms (8.8%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize52.0ms (2.1%)

series3.0ms (0.1%)

rewrite213.0ms (8.8%)

simplify82.0ms (3.4%)

eval37.0ms (1.5%)

prune18.0ms (0.7%)

localize47.0ms (1.9%)

series1.0ms (0%)

rewrite81.0ms (3.3%)

simplify66.0ms (2.7%)

eval31.0ms (1.3%)

prune17.0ms (0.7%)

regimes19.0ms (0.8%)

regimes9.0ms (0.4%)

regimes58.0ms (2.4%)

regimes4.0ms (0.2%)

bsearch29.0ms (1.2%)

simplify4.0ms (0.1%)

soundness554.0ms (22.8%)

end0.0ms (0%)

preprocess51.0ms (2.1%)

Profiling