FastMath test2

Time bar (total: 3.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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.0s (35.4%)

Results
787.0ms7121×body256valid
230.0ms1047×body256infinite
14.0ms56×body1024valid
5.0ms32×body512valid
Bogosity

preprocess218.0ms (7.4%)

Algorithm
1×egg-herbie
Rules
2540×fma-def
736×fma-neg
324×unsub-neg
244×cancel-sign-sub-inv
228×distribute-rgt-in
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
032258
193183
2291141
3870133
42078133
53173133
63872133
73902133
83902133
94084133
104084133
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (*.f64 (neg.f64 d1) 10) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 d1) 10) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
Outputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (*.f64 (neg.f64 d1) 10) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (*.f64 (neg.f64 d1) (+.f64 10 d2)) (*.f64 20 (neg.f64 d1)))
(*.f64 (neg.f64 d1) (+.f64 (+.f64 10 d2) 20))
(*.f64 (neg.f64 d1) (+.f64 d2 30))
(*.f64 d1 (-.f64 -30 d2))
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 10 (neg.f64 d2))))
(*.f64 d1 (+.f64 20 (-.f64 10 d2)))
(*.f64 d1 (-.f64 30 d2))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 d1) 10) (*.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(neg.f64 (+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 10 (neg.f64 d2)))))
(neg.f64 (*.f64 d1 (+.f64 20 (-.f64 10 d2))))
(*.f64 (neg.f64 d1) (-.f64 30 d2))
(*.f64 d1 (+.f64 d2 -30))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (*.f64 d2 (+.f64 10 d1)) (*.f64 d2 20))
(*.f64 d2 (+.f64 (+.f64 d1 10) 20))
(*.f64 d2 (+.f64 d1 30))
Symmetry

(negabs d1)

Compiler

Compiled 47 to 28 computations (40.4% saved)

eval1.0ms (0%)

Compiler

Compiled 23 to 16 computations (30.4% saved)

prune7.0ms (0.2%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
▶100.0%
(*.f64 d1 (+.f64 d2 30))
▶99.8%
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
▶100.0%
(*.f64 d1 (+.f64 d2 30))
Compiler

Compiled 36 to 26 computations (27.8% saved)

localize57.0ms (1.9%)

Localize:

Found 3 expressions with local error:

NewAccuracyProgram
✓99.9%
(*.f64 d1 (+.f64 10 d2))
✓99.8%
(+.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)

series7.0ms (0.2%)

Counts
3 → 60
Calls

18 calls:

TimeVariablePointExpression
1.0ms
d1
@-inf
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
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))
0.0ms
d1
@0
(*.f64 d1 (+.f64 d2 30))
0.0ms
d2
@-inf
(*.f64 d1 (+.f64 d2 30))

rewrite239.0ms (8.1%)

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)

IterNodesCost
01657
121857
2329257
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))

simplify112.0ms (3.8%)

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)

IterNodesCost
03668140
19337885
228247743
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))

eval59.0ms (2%)

Compiler

Compiled 2815 to 1784 computations (36.6% saved)

prune29.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1984202
Fresh000
Picked112
Done000
Total1995204
Accuracy
100.0%
Counts
204 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 d1 30 (*.f64 d1 d2))
▶100.0%
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
✓100.0%
(*.f64 d1 (+.f64 d2 30))
▶50.5%
(*.f64 d1 d2)
▶51.6%
(*.f64 d1 30)
▶100.0%
(fma.f64 d1 30 (*.f64 d1 d2))
▶100.0%
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
✓100.0%
(*.f64 d1 (+.f64 d2 30))
▶50.5%
(*.f64 d1 d2)
▶51.6%
(*.f64 d1 30)
Compiler

Compiled 68 to 46 computations (32.4% saved)

localize56.0ms (1.9%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓100.0%
(fma.f64 d1 30 (*.f64 d1 d2))
✓100.0%
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
Compiler

Compiled 41 to 16 computations (61% saved)

series3.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

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

rewrite90.0ms (3.1%)

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)

IterNodesCost
01338
114238
2166338
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))))

simplify117.0ms (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)

IterNodesCost
02055433
15175229
214075101
372605045
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))

eval28.0ms (1%)

Compiler

Compiled 1356 to 872 computations (35.7% saved)

prune15.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New1040104
Fresh000
Picked044
Done011
Total1045109
Accuracy
100.0%
Counts
109 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 d1 30 (*.f64 d1 d2))
✓100.0%
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
✓100.0%
(*.f64 d1 (+.f64 d2 30))
✓50.5%
(*.f64 d1 d2)
✓51.6%
(*.f64 d1 30)
Compiler

Compiled 80 to 48 computations (40% saved)

regimes18.0ms (0.6%)

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
(fma.f64 d1 30 (*.f64 d1 d2))
Calls

3 calls:

6.0ms
d1
5.0ms
d2
5.0ms
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1d2
100.0%1(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Compiler

Compiled 65 to 38 computations (41.5% saved)

regimes16.0ms (0.5%)

Counts
6 → 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))
Outputs
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
Calls

3 calls:

5.0ms
d1
5.0ms
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
5.0ms
d2
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1d2
100.0%1(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Compiler

Compiled 59 to 36 computations (39% saved)

regimes9.0ms (0.3%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 30))
Outputs
(*.f64 d1 (+.f64 d2 30))
Calls

2 calls:

4.0ms
d1
4.0ms
d2
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1d2
Compiler

Compiled 19 to 12 computations (36.8% saved)

regimes36.0ms (1.2%)

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:

26.0ms
d1
9.0ms
d2
Results
AccuracySegmentsBranch
63.9%9d1
98.0%3d2
Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes3.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 d1 30)
Outputs
(*.f64 d1 30)
Calls

1 calls:

3.0ms
d2
Results
AccuracySegmentsBranch
51.6%1d2
Compiler

Compiled 8 to 6 computations (25% saved)

bsearch33.0ms (1.1%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
16.0ms
0.012071665710705523
702.3591185021378
18.0ms
-468143093.79486686
-24.52166290131871
Results
27.0ms272×body256valid
Compiler

Compiled 222 to 166 computations (25.2% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×*-commutative
4×+-commutative
2×if-if-or-not
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023135
133135
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(fma.f64 d1 30 (*.f64 d1 d2))
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (*.f64 d1 d2) (if (<=.f64 d2 30) (*.f64 d1 30) (*.f64 d1 d2)))
(*.f64 d1 30)
Outputs
(fma.f64 d1 30 (*.f64 d1 d2))
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(if (<=.f64 d2 -30) (*.f64 d1 d2) (if (<=.f64 d2 30) (*.f64 d1 30) (*.f64 d1 d2)))
(if (or (<=.f64 d2 -30) (not (<=.f64 d2 30))) (*.f64 d1 d2) (*.f64 d1 30))
(*.f64 d1 30)
Compiler

Compiled 46 to 32 computations (30.4% saved)

soundness697.0ms (23.6%)

Rules
2540×fma-def
1222×fma-def
1222×fma-def
1117×log1p-expm1-u
1117×expm1-log1p-u
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
032258
193183
2291141
3870133
42078133
53173133
63872133
73902133
83902133
94084133
104084133
01657
121857
2329257
03668140
19337885
228247743
01657
121857
2329257
Stop Event
1×node limit
1×node limit
1×node limit
1×saturated
Compiler

Compiled 95 to 62 computations (34.7% saved)

end0.0ms (0%)

preprocess54.0ms (1.8%)

Remove

(negabs d1)

Compiler

Compiled 196 to 122 computations (37.8% saved)

Profiling

Loading profile data...