Metrics for FastMath test2

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.2s (43.5%)

Results

1.1s	7121×	256	valid
98.0ms	1051×	256	infinite
11.0ms	61×	1024	valid
4.0ms	23×	512	valid

Bogosity

preprocess265.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

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

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
1	-	-	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`
0	-	-	`(+.f64 (.f64 d1 10) (.f64 d1 d2))`
0	-	-	`(*.f64 d1 10)`
0	-	-	`(*.f64 d1 20)`
0	-	-	`10`
0	-	-	`d1`
0	-	-	`d2`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`20`

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(negabs d1)

Compiler

Compiled 81 to 47 computations (42% saved)

eval1.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

localize51.0ms (1.8%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 38 to 24 computations (36.8% saved)

series8.0ms (0.3%)

Counts

3 → 60

Calls

18 calls:

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

rewrite234.0ms (8.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1222×	`fma-def`
1117×	`log1p-expm1-u`
1117×	`expm1-log1p-u`
340×	`expm1-udef`
340×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	57
1	218	57
2	3292	57

Stop Event

1×	node limit

Counts

3 → 251

Calls

Call 1

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

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

simplify123.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1092×	`unswap-sqr`
964×	`cancel-sign-sub-inv`
556×	`fma-neg`
554×	`distribute-rgt-neg-in`
518×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	366	8140
1	933	7885
2	2824	7743

Stop Event

1×	node limit

Counts

311 → 202

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

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

eval61.0ms (2.2%)

Compiler: Compiled 2815 to 1784 computations (36.6% saved)

prune28.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	198	4	202
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	199	5	204

Accuracy

100.0%

Counts

204 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
▶	99.2%	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	52.8%	(*.f64 d1 d2)
▶	49.0%	(*.f64 d1 30)

Compiler

Compiled 34 to 23 computations (32.4% saved)

localize51.0ms (1.8%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 41 to 16 computations (61% saved)

series4.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite94.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1006×	`unpow-prod-down`
724×	`fma-def`
636×	`log-prod`
600×	`log1p-expm1-u`
600×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	142	38
2	1663	38

Stop Event

1×	node limit

Counts

2 → 125

Calls

Call 1

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

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

simplify122.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1078×	`fma-def`
1064×	`times-frac`
1060×	`fma-neg`
704×	`distribute-lft-in`
700×	`log-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	5433
1	517	5229
2	1407	5101
3	7260	5045

Stop Event

1×	node limit

Counts

173 → 104

Calls

Call 1

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

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

eval27.0ms (0.9%)

Compiler: Compiled 1356 to 872 computations (35.7% saved)

prune15.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	104	5	109

Accuracy

100.0%

Counts

109 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	99.2%	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	52.8%	(*.f64 d1 d2)
✓	49.0%	(*.f64 d1 30)

Compiler

Compiled 80 to 48 computations (40% saved)

regimes20.0ms (0.7%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

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 19 to 13 computations (31.6% saved)

regimes40.0ms (1.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

31.0ms	d1
9.0ms	d2

Results

Accuracy	Segments	Branch
66.0%	10	`d1`
97.9%	3	`d2`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes5.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)

Outputs
(*.f64 d1 30)

Calls

2 calls:

3.0ms	d2
3.0ms	d1

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch34.0ms (1.2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	2.95454147069897e-7	8026999.64397616
16.0ms	-26985332.770566583	-29.667014895747993

Results

29.0ms	300×	256	valid
0.0ms	4×	256	infinite

Compiler

Compiled 246 to 184 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)

soundness357.0ms (12.7%)

Rules

2540×	`fma-def`
1092×	`unswap-sqr`
964×	`cancel-sign-sub-inv`
736×	`fma-neg`
556×	`fma-neg`

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 56 to 39 computations (30.4% saved)

end0.0ms (0%)

preprocess42.0ms (1.5%)

Remove: (negabs d1)
Compiler: Compiled 132 to 92 computations (30.3% saved)

analyze0.0ms (0%)

sample1.2s (43.5%)

preprocess265.0ms (9.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize51.0ms (1.8%)

series8.0ms (0.3%)

rewrite234.0ms (8.3%)

simplify123.0ms (4.4%)

eval61.0ms (2.2%)

prune28.0ms (1%)

localize51.0ms (1.8%)

series4.0ms (0.1%)

rewrite94.0ms (3.3%)

simplify122.0ms (4.4%)

eval27.0ms (0.9%)

prune15.0ms (0.5%)

regimes20.0ms (0.7%)

regimes40.0ms (1.4%)

regimes5.0ms (0.2%)

bsearch34.0ms (1.2%)

simplify3.0ms (0.1%)

soundness357.0ms (12.7%)

end0.0ms (0%)

preprocess42.0ms (1.5%)

Profiling