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)

sample751.0ms (34.5%)

Results

633.0ms	7094×	body	256	valid
93.0ms	1060×	body	256	infinite
10.0ms	62×	body	1024	valid
5.0ms	40×	body	512	valid

Bogosity

preprocess167.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

2110×	`fma-def`
840×	`fma-neg`
344×	`cancel-sign-sub-inv`
284×	`sub-neg`
234×	`unsub-neg`

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	182
1	82	129
2	220	99
3	479	95
4	969	95
5	1486	95
6	2429	95
7	3382	95
8	3407	95
9	3407	95
10	3668	95
11	3668	95

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))
(+.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))
(neg.f64 (*.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 (-.f64 10 d2) 20))
(*.f64 d1 (-.f64 30 d2))
(+.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))

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))
▶	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
▶	100.0%	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 32 to 24 computations (25% saved)

localize41.0ms (1.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (+.f64 10 d2) 20)
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.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
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	d1	@	-inf	(*.f64 d1 (+.f64 d2 30))
0.0ms	d2	@	inf	(*.f64 d1 (+.f64 d2 30))

rewrite121.0ms (5.6%)

Algorithm

1×	batch-egg-rewrite

Rules

970×	`log1p-expm1-u`
970×	`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	3038	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 d1) (+.f64 d2 30)))
(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 d1) (+.f64 d2 30)))
(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 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)

simplify77.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	5358
1	682	4947
2	2464	4499

Stop Event

1×	node limit

Counts

186 → 126

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 d1) (+.f64 d2 30)))
(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 d1) (+.f64 d2 30)))
(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 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)

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 (.f64 d1 20) (.f64 d1 (-.f64 10 d2)) (.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 d1 d1))))
(/.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 d1 (*.f64 (pow.f64 d2 2) d1))))
(/.f64 (pow.f64 d1 3) (/.f64 (.f64 d1 (+.f64 (.f64 d1 (fma.f64 d2 -30 900)) (*.f64 (pow.f64 d2 2) d1))) (+.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 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (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 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)) d1)
(/.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 (pow.f64 d2 3) 27000) (/.f64 (+.f64 900 (*.f64 d2 (+.f64 d2 -30))) d1))
(*.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 (fma.f64 d2 d2 -900) (/.f64 (+.f64 d2 -30) d1))
(*.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 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (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 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)) d1)
(/.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 (pow.f64 d2 3) 27000) (/.f64 (+.f64 900 (*.f64 d2 (+.f64 d2 -30))) d1))
(*.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 (fma.f64 d2 d2 -900) (/.f64 (+.f64 d2 -30) d1))
(*.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 d1) (+.f64 d2 30)))
(*.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 (.f64 d1 20) (.f64 d1 (-.f64 10 d2)) (.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 d1 d1))))
(/.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 d1 (*.f64 (pow.f64 d2 2) d1))))
(/.f64 (pow.f64 d1 3) (/.f64 (.f64 d1 (+.f64 (.f64 d1 (fma.f64 d2 -30 900)) (*.f64 (pow.f64 d2 2) d1))) (+.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 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (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 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)) d1)
(/.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 (pow.f64 d2 3) 27000) (/.f64 (+.f64 900 (*.f64 d2 (+.f64 d2 -30))) d1))
(*.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 (fma.f64 d2 d2 -900) (/.f64 (+.f64 d2 -30) d1))
(*.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 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (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 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)) d1)
(/.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 (pow.f64 d2 3) 27000) (/.f64 (+.f64 900 (*.f64 d2 (+.f64 d2 -30))) d1))
(*.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 (fma.f64 d2 d2 -900) (/.f64 (+.f64 d2 -30) d1))
(*.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 d1) (+.f64 d2 30)))
(*.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 d2) 2) (cbrt.f64 d2) 30)
(+.f64 30 d2)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)

eval34.0ms (1.6%)

Compiler: Compiled 1702 to 1225 computations (28% saved)

prune21.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	123	5	128

Accuracy

100.0%

Counts

128 → 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))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	50.6%	(*.f64 d1 d2)
▶	51.6%	(*.f64 d1 30)
▶	99.8%	(/.f64 d1 (/.f64 1 (+.f64 30 d2)))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	50.6%	(*.f64 d1 d2)
▶	51.6%	(*.f64 d1 30)

Compiler

Compiled 70 to 52 computations (25.7% saved)

localize40.0ms (1.9%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 32 to 20 computations (37.5% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite65.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

984×	`unpow-prod-down`
664×	`log1p-expm1-u`
664×	`expm1-log1p-u`
630×	`log-prod`
420×	`pow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	41
1	136	35
2	1846	35

Stop Event

1×	node limit

Counts

2 → 134

Calls

Call 1

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

simplify70.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1366×	`fma-def`
910×	`associate-/r/`
638×	`sqr-pow`
528×	`log-prod`
388×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	389	4363
1	973	4194
2	3408	4154

Stop Event

1×	node limit

Counts

170 → 200

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

eval66.0ms (3%)

Compiler: Compiled 2707 to 2058 computations (24% saved)

prune27.0ms (1.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	0	0	0
Picked	1	2	3
Done	0	2	2
Total	200	5	205

Accuracy

100.0%

Counts

205 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	51.6%	(/.f64 d1 1/30)
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	50.6%	(*.f64 d1 d2)
✓	51.6%	(*.f64 d1 30)
▶	51.6%	(/.f64 d1 1/30)
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	50.6%	(*.f64 d1 d2)
✓	51.6%	(*.f64 d1 30)

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize17.0ms (0.8%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 8 to 6 computations (25% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1196×	`frac-times`
648×	`associate-r`
614×	`associate-l`
288×	`unpow-prod-down`
224×	`cbrt-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	54	10
2	603	10

Stop Event

1×	node limit

Counts

1 → 92

Calls

Call 1

Inputs
(/.f64 d1 1/30)

Outputs
(+.f64 (+.f64 1 (*.f64 d1 30)) -1)
(+.f64 0 (*.f64 d1 30))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 60))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 30))))
(+.f64 (log.f64 (pow.f64 (exp.f64 d1) 15)) (log.f64 (pow.f64 (exp.f64 d1) 15)))
(-.f64 (+.f64 1 (*.f64 d1 30)) 1)
(-.f64 0 (*.f64 d1 30))
(-.f64 (/.f64 (+.f64 1 d1) -1/30) -30)
(-.f64 (/.f64 (+.f64 1 d1) 1/30) 30)
(*.f64 d1 30)
(*.f64 d1 -30)
(*.f64 d1 (pow.f64 (cbrt.f64 30) 3))
(*.f64 d1 (pow.f64 (sqrt.f64 30) 2))
(*.f64 d1 (exp.f64 (log.f64 30)))
(.f64 d1 (.f64 (sqrt.f64 30) (sqrt.f64 30)))
(.f64 (.f64 d1 30) 1)
(.f64 (.f64 d1 30) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 30))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 (cbrt.f64 d1) 2) 30))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) 30)))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 30) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 1/6) (*.f64 (sqrt.f64 d1) 30)))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (/.f64 1 (/.f64 1/30 (cbrt.f64 d1))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (*.f64 (cbrt.f64 d1) 30) 1))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (neg.f64 (cbrt.f64 d1)) -30))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) -30))
(.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2))
(.f64 (cbrt.f64 (.f64 d1 30)) (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (*.f64 d1 30)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30))
(.f64 (sqrt.f64 d1) (sqrt.f64 (.f64 900 d1)))
(*.f64 (sqrt.f64 d1) (/.f64 1 (/.f64 1/30 (sqrt.f64 d1))))
(.f64 (sqrt.f64 d1) (.f64 (*.f64 (sqrt.f64 d1) 30) 1))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 30) (sqrt.f64 (*.f64 d1 30))))
(.f64 (sqrt.f64 d1) (.f64 (neg.f64 (sqrt.f64 d1)) -30))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) -30))
(.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(*.f64 30 (pow.f64 (/.f64 1 d1) -1))
(.f64 -1 (.f64 d1 30))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (pow.f64 (.f64 d1 30) 1/6) (.f64 (pow.f64 (.f64 d1 30) 1/6) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 d1) 30)))
(.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (pow.f64 (*.f64 d1 30) 3/2)))
(.f64 (pow.f64 (.f64 d1 30) 1/4) (.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (*.f64 d1 30))))
(.f64 (pow.f64 d1 1/4) (.f64 (pow.f64 d1 1/4) (*.f64 (sqrt.f64 d1) 30)))
(.f64 (neg.f64 (pow.f64 (cbrt.f64 d1) 2)) (.f64 (cbrt.f64 d1) -30))
(.f64 (neg.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 d1) -30))
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (sqrt.f64 (*.f64 d1 30)) (sqrt.f64 d1)) (sqrt.f64 30))
(.f64 (pow.f64 1 1/3) (.f64 d1 30))
(.f64 (pow.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1)) 1/3) (cbrt.f64 30))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 30) 5/2) 1/3) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (pow.f64 (cbrt.f64 (/.f64 1/900 (pow.f64 d1 2))) -1) (cbrt.f64 (.f64 d1 30)))
(.f64 (cbrt.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1))) (cbrt.f64 30))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 30) 5/2)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (pow.f64 (.f64 d1 30) 1/4)) (pow.f64 (*.f64 d1 30) 1/4))
(.f64 (sqrt.f64 (pow.f64 (.f64 d1 30) 3/2)) (pow.f64 (*.f64 d1 30) 1/4))
(.f64 (sqrt.f64 (.f64 (pow.f64 d1 2) 30)) (sqrt.f64 30))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 5)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 30))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1) (cbrt.f64 (.f64 d1 30)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2) (cbrt.f64 d1)) (cbrt.f64 30))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (.f64 d1 30) 1/6)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 30 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1))
(pow.f64 (*.f64 d1 30) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 30)) 3)
(pow.f64 (*.f64 (pow.f64 d1 2) 900) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 30) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 30)) 2)
(pow.f64 (/.f64 1/30 d1) -1)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 30)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 30))) 2)) (cbrt.f64 (log.f64 (.f64 d1 30))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 30)))) (sqrt.f64 (log.f64 (.f64 d1 30))))
(neg.f64 (*.f64 d1 30))
(sqrt.f64 (*.f64 (pow.f64 d1 2) 900))
(fabs.f64 (*.f64 d1 30))
(log.f64 (pow.f64 (exp.f64 d1) 30))
(cbrt.f64 (pow.f64 (*.f64 d1 30) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 30)))
(exp.f64 (log.f64 (*.f64 d1 30)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 30))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 30))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 30))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 1/30 d1)) -1))
(log1p.f64 (expm1.f64 (*.f64 d1 30)))

simplify62.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1288×	`log-prod`
1060×	`times-frac`
862×	`fma-def`
832×	`fma-neg`
780×	`cube-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	242	1851
1	540	1827
2	1453	1827
3	4930	1763

Stop Event

1×	node limit

Counts

104 → 123

Calls

Call 1

Inputs
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(+.f64 (+.f64 1 (*.f64 d1 30)) -1)
(+.f64 0 (*.f64 d1 30))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 60))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 30))))
(+.f64 (log.f64 (pow.f64 (exp.f64 d1) 15)) (log.f64 (pow.f64 (exp.f64 d1) 15)))
(-.f64 (+.f64 1 (*.f64 d1 30)) 1)
(-.f64 0 (*.f64 d1 30))
(-.f64 (/.f64 (+.f64 1 d1) -1/30) -30)
(-.f64 (/.f64 (+.f64 1 d1) 1/30) 30)
(*.f64 d1 30)
(*.f64 d1 -30)
(*.f64 d1 (pow.f64 (cbrt.f64 30) 3))
(*.f64 d1 (pow.f64 (sqrt.f64 30) 2))
(*.f64 d1 (exp.f64 (log.f64 30)))
(.f64 d1 (.f64 (sqrt.f64 30) (sqrt.f64 30)))
(.f64 (.f64 d1 30) 1)
(.f64 (.f64 d1 30) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 30))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 (cbrt.f64 d1) 2) 30))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) 30)))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 30) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 1/6) (*.f64 (sqrt.f64 d1) 30)))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (/.f64 1 (/.f64 1/30 (cbrt.f64 d1))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (*.f64 (cbrt.f64 d1) 30) 1))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (neg.f64 (cbrt.f64 d1)) -30))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) -30))
(.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2))
(.f64 (cbrt.f64 (.f64 d1 30)) (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (*.f64 d1 30)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30))
(.f64 (sqrt.f64 d1) (sqrt.f64 (.f64 900 d1)))
(*.f64 (sqrt.f64 d1) (/.f64 1 (/.f64 1/30 (sqrt.f64 d1))))
(.f64 (sqrt.f64 d1) (.f64 (*.f64 (sqrt.f64 d1) 30) 1))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 30) (sqrt.f64 (*.f64 d1 30))))
(.f64 (sqrt.f64 d1) (.f64 (neg.f64 (sqrt.f64 d1)) -30))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) -30))
(.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(*.f64 30 (pow.f64 (/.f64 1 d1) -1))
(.f64 -1 (.f64 d1 30))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (pow.f64 (.f64 d1 30) 1/6) (.f64 (pow.f64 (.f64 d1 30) 1/6) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 d1) 30)))
(.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (pow.f64 (*.f64 d1 30) 3/2)))
(.f64 (pow.f64 (.f64 d1 30) 1/4) (.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (*.f64 d1 30))))
(.f64 (pow.f64 d1 1/4) (.f64 (pow.f64 d1 1/4) (*.f64 (sqrt.f64 d1) 30)))
(.f64 (neg.f64 (pow.f64 (cbrt.f64 d1) 2)) (.f64 (cbrt.f64 d1) -30))
(.f64 (neg.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 d1) -30))
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (sqrt.f64 (*.f64 d1 30)) (sqrt.f64 d1)) (sqrt.f64 30))
(.f64 (pow.f64 1 1/3) (.f64 d1 30))
(.f64 (pow.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1)) 1/3) (cbrt.f64 30))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 30) 5/2) 1/3) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (pow.f64 (cbrt.f64 (/.f64 1/900 (pow.f64 d1 2))) -1) (cbrt.f64 (.f64 d1 30)))
(.f64 (cbrt.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1))) (cbrt.f64 30))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 30) 5/2)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (pow.f64 (.f64 d1 30) 1/4)) (pow.f64 (*.f64 d1 30) 1/4))
(.f64 (sqrt.f64 (pow.f64 (.f64 d1 30) 3/2)) (pow.f64 (*.f64 d1 30) 1/4))
(.f64 (sqrt.f64 (.f64 (pow.f64 d1 2) 30)) (sqrt.f64 30))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 5)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 30))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1) (cbrt.f64 (.f64 d1 30)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2) (cbrt.f64 d1)) (cbrt.f64 30))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (.f64 d1 30) 1/6)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (.f64 30 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1))
(pow.f64 (*.f64 d1 30) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 30)) 3)
(pow.f64 (*.f64 (pow.f64 d1 2) 900) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 30) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 30)) 2)
(pow.f64 (/.f64 1/30 d1) -1)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 30)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 30))) 2)) (cbrt.f64 (log.f64 (.f64 d1 30))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 30)))) (sqrt.f64 (log.f64 (.f64 d1 30))))
(neg.f64 (*.f64 d1 30))
(sqrt.f64 (*.f64 (pow.f64 d1 2) 900))
(fabs.f64 (*.f64 d1 30))
(log.f64 (pow.f64 (exp.f64 d1) 30))
(cbrt.f64 (pow.f64 (*.f64 d1 30) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 30)))
(exp.f64 (log.f64 (*.f64 d1 30)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 30))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 30))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 30))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 1/30 d1)) -1))
(log1p.f64 (expm1.f64 (*.f64 d1 30)))

Outputs
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(+.f64 (+.f64 1 (*.f64 d1 30)) -1)
(*.f64 30 d1)
(+.f64 0 (*.f64 d1 30))
(*.f64 30 d1)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 60))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) 30))))
(+.f64 (log.f64 (pow.f64 (exp.f64 d1) 15)) (log.f64 (pow.f64 (exp.f64 d1) 15)))
(*.f64 30 d1)
(-.f64 (+.f64 1 (*.f64 d1 30)) 1)
(*.f64 30 d1)
(-.f64 0 (*.f64 d1 30))
(*.f64 d1 -30)
(-.f64 (/.f64 (+.f64 1 d1) -1/30) -30)
(+.f64 (/.f64 (+.f64 d1 1) -1/30) 30)
(+.f64 30 (/.f64 (+.f64 d1 1) -1/30))
(-.f64 (/.f64 (+.f64 1 d1) 1/30) 30)
(+.f64 (/.f64 (+.f64 d1 1) 1/30) -30)
(+.f64 -30 (/.f64 (+.f64 d1 1) 1/30))
(*.f64 d1 30)
(*.f64 30 d1)
(*.f64 d1 -30)
(*.f64 d1 (pow.f64 (cbrt.f64 30) 3))
(*.f64 30 d1)
(*.f64 d1 (pow.f64 (sqrt.f64 30) 2))
(*.f64 30 d1)
(*.f64 d1 (exp.f64 (log.f64 30)))
(*.f64 30 d1)
(.f64 d1 (.f64 (sqrt.f64 30) (sqrt.f64 30)))
(*.f64 30 d1)
(.f64 (.f64 d1 30) 1)
(*.f64 30 d1)
(.f64 (.f64 d1 30) (log.f64 (E.f64)))
(*.f64 30 d1)
(.f64 1 (.f64 d1 30))
(*.f64 30 d1)
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 (cbrt.f64 d1) 2) 30))
(*.f64 30 d1)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) 30)))
(*.f64 30 d1)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 30) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 30) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 2)))
(.f64 (cbrt.f64 30) (.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 2)))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 1/6) (*.f64 (sqrt.f64 d1) 30)))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 1/6) (*.f64 30 (sqrt.f64 d1))))
(.f64 (cbrt.f64 d1) (.f64 (sqrt.f64 d1) (*.f64 30 (pow.f64 d1 1/6))))
(.f64 30 (.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 1/6) (sqrt.f64 d1))))
(.f64 30 (.f64 (sqrt.f64 d1) (*.f64 (cbrt.f64 d1) (pow.f64 d1 1/6))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30))
(*.f64 30 d1)
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (/.f64 1 (/.f64 1/30 (cbrt.f64 d1))))
(*.f64 30 d1)
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (*.f64 (cbrt.f64 d1) 30) 1))
(*.f64 30 d1)
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (neg.f64 (cbrt.f64 d1)) -30))
(*.f64 30 d1)
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) -30))
(*.f64 d1 -30)
(.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2))
(*.f64 30 d1)
(.f64 (cbrt.f64 (.f64 d1 30)) (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1))
(*.f64 30 d1)
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30))
(*.f64 30 d1)
(.f64 (sqrt.f64 d1) (sqrt.f64 (.f64 900 d1)))
(.f64 (sqrt.f64 d1) (sqrt.f64 (.f64 d1 900)))
(*.f64 (sqrt.f64 d1) (/.f64 1 (/.f64 1/30 (sqrt.f64 d1))))
(*.f64 30 d1)
(.f64 (sqrt.f64 d1) (.f64 (*.f64 (sqrt.f64 d1) 30) 1))
(*.f64 30 d1)
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 30) (sqrt.f64 (*.f64 d1 30))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 30) (sqrt.f64 (*.f64 30 d1))))
(.f64 (sqrt.f64 30) (.f64 (sqrt.f64 d1) (sqrt.f64 (*.f64 30 d1))))
(.f64 (sqrt.f64 d1) (.f64 (neg.f64 (sqrt.f64 d1)) -30))
(*.f64 30 d1)
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) -30))
(*.f64 d1 -30)
(.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 (pow.f64 (/.f64 1 d1) -1))
(*.f64 30 d1)
(.f64 -1 (.f64 d1 30))
(*.f64 d1 -30)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(*.f64 30 d1)
(.f64 (pow.f64 (.f64 d1 30) 1/6) (.f64 (pow.f64 (.f64 d1 30) 1/6) (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2)))
(*.f64 30 d1)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2) (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (.f64 (cbrt.f64 (.f64 30 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 30 d1))) 2)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 30 d1))) 2) (.f64 (cbrt.f64 (.f64 30 d1)) (cbrt.f64 (cbrt.f64 (*.f64 (pow.f64 d1 4) 810000)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 30 d1))) 5))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 d1) 30)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (.f64 (*.f64 30 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (*.f64 30 (cbrt.f64 d1)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4))))
(.f64 30 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))
(.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (pow.f64 (*.f64 d1 30) 3/2)))
(*.f64 30 d1)
(.f64 (pow.f64 (.f64 d1 30) 1/4) (.f64 (pow.f64 (.f64 d1 30) 1/4) (sqrt.f64 (*.f64 d1 30))))
(*.f64 30 d1)
(.f64 (pow.f64 d1 1/4) (.f64 (pow.f64 d1 1/4) (*.f64 (sqrt.f64 d1) 30)))
(*.f64 30 d1)
(.f64 (neg.f64 (pow.f64 (cbrt.f64 d1) 2)) (.f64 (cbrt.f64 d1) -30))
(*.f64 30 d1)
(.f64 (neg.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 d1) -30))
(*.f64 30 d1)
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (sqrt.f64 (.f64 30 d1)) (.f64 (cbrt.f64 (.f64 30 d1)) (pow.f64 (*.f64 30 d1) 1/6)))
(.f64 (cbrt.f64 (.f64 30 d1)) (.f64 (sqrt.f64 (.f64 30 d1)) (pow.f64 (*.f64 30 d1) 1/6)))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (.f64 (cbrt.f64 (.f64 30 d1)) (sqrt.f64 (*.f64 30 d1))))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 5/2))
(.f64 (.f64 (sqrt.f64 (*.f64 d1 30)) (sqrt.f64 d1)) (sqrt.f64 30))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 30) (sqrt.f64 (*.f64 30 d1))))
(.f64 (sqrt.f64 30) (.f64 (sqrt.f64 d1) (sqrt.f64 (*.f64 30 d1))))
(.f64 (pow.f64 1 1/3) (.f64 d1 30))
(*.f64 30 d1)
(.f64 (pow.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1)) 1/3) (cbrt.f64 30))
(.f64 (cbrt.f64 30) (cbrt.f64 (.f64 (*.f64 d1 900) (pow.f64 d1 2))))
(.f64 (cbrt.f64 30) (cbrt.f64 (.f64 900 (pow.f64 d1 3))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 30 d1))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 d1 4) 810000)) 2)))
(.f64 (pow.f64 (pow.f64 (.f64 d1 30) 5/2) 1/3) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (cbrt.f64 (pow.f64 (*.f64 30 d1) 5/2)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 1/900 (pow.f64 d1 2))) -1) (cbrt.f64 (.f64 d1 30)))
(.f64 (cbrt.f64 (.f64 30 d1)) (/.f64 1 (cbrt.f64 (/.f64 1/900 (pow.f64 d1 2)))))
(/.f64 (cbrt.f64 (*.f64 30 d1)) (cbrt.f64 (/.f64 1/900 (pow.f64 d1 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 d1 2) (*.f64 900 d1))) (cbrt.f64 30))
(.f64 (cbrt.f64 30) (cbrt.f64 (.f64 (*.f64 d1 900) (pow.f64 d1 2))))
(.f64 (cbrt.f64 30) (cbrt.f64 (.f64 900 (pow.f64 d1 3))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 30 d1))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 d1 4) 810000)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 30) 5/2)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (cbrt.f64 (pow.f64 (*.f64 30 d1) 5/2)))
(.f64 (.f64 (sqrt.f64 (.f64 d1 30)) (pow.f64 (.f64 d1 30) 1/4)) (pow.f64 (*.f64 d1 30) 1/4))
(*.f64 30 d1)
(.f64 (sqrt.f64 (pow.f64 (.f64 d1 30) 3/2)) (pow.f64 (*.f64 d1 30) 1/4))
(*.f64 30 d1)
(.f64 (sqrt.f64 (.f64 (pow.f64 d1 2) 30)) (sqrt.f64 30))
(*.f64 30 d1)
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 5)) (pow.f64 (*.f64 d1 30) 1/6))
(.f64 (sqrt.f64 (.f64 30 d1)) (.f64 (cbrt.f64 (.f64 30 d1)) (pow.f64 (*.f64 30 d1) 1/6)))
(.f64 (cbrt.f64 (.f64 30 d1)) (.f64 (sqrt.f64 (.f64 30 d1)) (pow.f64 (*.f64 30 d1) 1/6)))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (.f64 (cbrt.f64 (.f64 30 d1)) (sqrt.f64 (*.f64 30 d1))))
(.f64 (pow.f64 (.f64 30 d1) 1/6) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 5/2))
(.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 30))) 2))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (.f64 (cbrt.f64 (.f64 30 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 30 d1))) 2)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 30 d1))) 2) (.f64 (cbrt.f64 (.f64 30 d1)) (cbrt.f64 (cbrt.f64 (*.f64 (pow.f64 d1 4) 810000)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 d1 4) 810000))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 30 d1))) 5))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) 1) (cbrt.f64 (.f64 d1 30)))
(*.f64 30 d1)
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 d1 30)) 2) (cbrt.f64 d1)) (cbrt.f64 30))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 30) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 2)))
(.f64 (cbrt.f64 30) (.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 (*.f64 30 d1)) 2)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 30))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 30))))
(*.f64 30 d1)
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (pow.f64 (.f64 d1 30) 1/6)) (pow.f64 (*.f64 d1 30) 1/6))
(*.f64 30 d1)
(.f64 (.f64 30 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 30 d1)
(.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(*.f64 30 d1)
(.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 30 d1)
(pow.f64 (*.f64 d1 30) 1)
(*.f64 30 d1)
(pow.f64 (cbrt.f64 (*.f64 d1 30)) 3)
(*.f64 30 d1)
(pow.f64 (*.f64 (pow.f64 d1 2) 900) 1/2)
(*.f64 30 d1)
(pow.f64 (pow.f64 (*.f64 d1 30) 3) 1/3)
(*.f64 30 d1)
(pow.f64 (sqrt.f64 (*.f64 d1 30)) 2)
(*.f64 30 d1)
(pow.f64 (/.f64 1/30 d1) -1)
(*.f64 30 d1)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 30))) 2)) (cbrt.f64 (log.f64 (.f64 d1 30))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 30 d1))) 2)) (cbrt.f64 (log.f64 (.f64 30 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 30)))) (sqrt.f64 (log.f64 (.f64 d1 30))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 30 d1)))) (sqrt.f64 (log.f64 (.f64 30 d1))))
(neg.f64 (*.f64 d1 30))
(*.f64 d1 -30)
(sqrt.f64 (*.f64 (pow.f64 d1 2) 900))
(*.f64 30 d1)
(fabs.f64 (*.f64 d1 30))
(*.f64 30 d1)
(log.f64 (pow.f64 (exp.f64 d1) 30))
(*.f64 30 d1)
(cbrt.f64 (pow.f64 (*.f64 d1 30) 3))
(*.f64 30 d1)
(expm1.f64 (log1p.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(exp.f64 (log.f64 (*.f64 d1 30)))
(*.f64 30 d1)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 30))) 3))
(*.f64 30 d1)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 30))) 1/3))
(*.f64 30 d1)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 30))) 2))
(*.f64 30 d1)
(exp.f64 (*.f64 (log.f64 (/.f64 1/30 d1)) -1))
(*.f64 30 d1)
(log1p.f64 (expm1.f64 (*.f64 d1 30)))
(*.f64 30 d1)

eval29.0ms (1.3%)

Compiler: Compiled 1252 to 950 computations (24.1% saved)

prune24.0ms (1.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	123	5	128

Accuracy

100.0%

Counts

128 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	51.6%	(/.f64 d1 1/30)
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	50.6%	(*.f64 d1 d2)
✓	51.6%	(*.f64 d1 30)

Compiler

Compiled 72 to 49 computations (31.9% saved)

regimes17.0ms (0.8%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(/.f64 d1 1/30)
(*.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 d2 30))

Calls

3 calls:

6.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
5.0ms	d1
5.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 60 to 39 computations (35% saved)

regimes34.0ms (1.6%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

22.0ms	d1
10.0ms	d2

Results

Accuracy	Segments	Branch
64.1%	7	`d1`
98.1%	3	`d2`

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes6.0ms (0.3%)

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
51.6%	1	`d1`
51.6%	1	`d2`

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch29.0ms (1.3%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	29.377113542698666	666.2961199795604
18.0ms	-15113.25961758822	-6.423908603396613e-12

Results

26.0ms

272×

body

256

valid

Compiler

Compiled 222 to 166 computations (25.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	83
1	29	83

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.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 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 29 to 21 computations (27.6% saved)

soundness293.0ms (13.5%)

Rules

2110×	`fma-def`
1550×	`fma-def`
872×	`times-frac`
840×	`fma-neg`
810×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	182
1	82	129
2	220	99
3	479	95
4	969	95
5	1486	95
6	2429	95
7	3382	95
8	3407	95
9	3407	95
10	3668	95
11	3668	95
0	246	5358
1	682	4947
2	2464	4499

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 56 to 39 computations (30.4% saved)

end0.0ms (0%)

preprocess127.0ms (5.8%)

Compiler: Compiled 90 to 62 computations (31.1% saved)

analyze0.0ms (0%)

sample751.0ms (34.5%)

preprocess167.0ms (7.7%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize41.0ms (1.9%)

series3.0ms (0.1%)

rewrite121.0ms (5.6%)

simplify77.0ms (3.5%)

eval34.0ms (1.6%)

prune21.0ms (0.9%)

localize40.0ms (1.9%)

series1.0ms (0%)

rewrite65.0ms (3%)

simplify70.0ms (3.2%)

eval66.0ms (3%)

prune27.0ms (1.3%)

localize17.0ms (0.8%)

series1.0ms (0%)

rewrite46.0ms (2.1%)

simplify62.0ms (2.9%)

eval29.0ms (1.3%)

prune24.0ms (1.1%)

regimes17.0ms (0.8%)

regimes34.0ms (1.6%)

regimes6.0ms (0.3%)

bsearch29.0ms (1.3%)

simplify3.0ms (0.1%)

soundness293.0ms (13.5%)

end0.0ms (0%)

preprocess127.0ms (5.8%)

Profiling