Date:Tuesday, August 3rd, 2021
Commit:0b413603 on fix-bugs
Hostname:warfa with Racket 8.1
Seed:2021215
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 46.2s)

sample10.9s (23.6%)

Algorithm
18×intervals
Results
5.6s70240×body128valid
1.0s4064×body2048valid
229.0ms1335×body128nan
202.0ms2141×body128invalid
Compiler

Compiled 2478 to 1642 computations (33.7% saved)

series9.6s (20.7%)

Counts
48 → 967
Calls

48 calls:

1.8s
(*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
1.5s
(*.f64 (/.f64 x y) (cbrt.f64 z))
919.0ms
(*.f64 (*.f64 (/.f64 x y) (cbrt.f64 z)) (cbrt.f64 z))
804.0ms
(*.f64 (/.f64 (cbrt.f64 x) y) z)
560.0ms
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))

prune8.9s (19.3%)

Counts
13012 → 168
Alt Table
StatusErrorProgram
✓0b
(-.f64 1 (/.f64 (fabs.f64 x) x))
▶0b
(-.f64 1 (/.f64 (fabs.f64 x) x))
✓0.0b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (fma.f64 x x -1)) (exp.f64 (fma.f64 x x -1))) (exp.f64 (fma.f64 x x -1))))
✓0.0b
(pow.f64 E.f64 (fma.f64 x x -1))
✓0.0b
(cbrt.f64 (pow.f64 (exp.f64 1) (*.f64 (fma.f64 x x -1) 3)))
✓0.0b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (fma.f64 x x -1)) (exp.f64 (fma.f64 x x -1))) (exp.f64 (fma.f64 x x -1))))
▶0.0b
(pow.f64 E.f64 (fma.f64 x x -1))
✓0.0b
(cbrt.f64 (pow.f64 (exp.f64 1) (*.f64 (fma.f64 x x -1) 3)))
✓0.0b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (fma.f64 x x -1)) (exp.f64 (fma.f64 x x -1))) (exp.f64 (fma.f64 x x -1))))
0.0b
(pow.f64 E.f64 (fma.f64 x x -1))
▶0.0b
(cbrt.f64 (pow.f64 (exp.f64 1) (*.f64 (fma.f64 x x -1) 3)))
2.0b
(*.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))) (cbrt.f64 (exp.f64 (fma.f64 x x -1)))) (cbrt.f64 (exp.f64 (fma.f64 x x -1))))
▶0.0b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (fma.f64 x x -1)) (exp.f64 (fma.f64 x x -1))) (exp.f64 (fma.f64 x x -1))))
0.0b
(pow.f64 E.f64 (fma.f64 x x -1))
▶0.0b
(exp.f64 (fma.f64 x x -1))
✓1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
4.4b
(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y))) (/.f64 (*.f64 z x) y)))
32.4b
(fabs.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 4) y) (*.f64 y (*.f64 x z))) (*.f64 y y)))
✓2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (/.f64 (cbrt.f64 x) y) z))))
✓1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (*.f64 (*.f64 (/.f64 x y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))
29.0b
(fabs.f64 (*.f64 (-.f64 (/.f64 1 y) (/.f64 z y)) x))
31.1b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (/.f64 (sqrt.f64 x) y) z))))
✓1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
4.4b
(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y))) (/.f64 (*.f64 z x) y)))
32.4b
(fabs.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 4) y) (*.f64 y (*.f64 x z))) (*.f64 y y)))
▶2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (/.f64 (cbrt.f64 x) y) z))))
✓1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (*.f64 (*.f64 (/.f64 x y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))
29.0b
(fabs.f64 (*.f64 (-.f64 (/.f64 1 y) (/.f64 z y)) x))
31.1b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (/.f64 (sqrt.f64 x) y) z))))
✓1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
4.4b
(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y))) (/.f64 (*.f64 z x) y)))
32.4b
(fabs.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 4) y) (*.f64 y (*.f64 x z))) (*.f64 y y)))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (/.f64 (cbrt.f64 x) y) z))))
▶1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (*.f64 (*.f64 (/.f64 x y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))
29.0b
(fabs.f64 (*.f64 (-.f64 (/.f64 1 y) (/.f64 z y)) x))
31.1b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (/.f64 (sqrt.f64 x) y) z))))
✓1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
4.4b
(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y))) (/.f64 (*.f64 z x) y)))
32.4b
(fabs.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 4) y) (*.f64 y (*.f64 x z))) (*.f64 y y)))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (/.f64 (cbrt.f64 x) y) z))))
29.0b
(fabs.f64 (*.f64 (-.f64 (/.f64 1 y) (/.f64 z y)) x))
▶1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))))
31.1b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (/.f64 (sqrt.f64 x) y) z))))
▶1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
4.3b
(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
✓0b
(/.f64 (fabs.f64 (-.f64 a b)) 2)
▶0b
(/.f64 (fabs.f64 (-.f64 a b)) 2)
✓19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1 a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
35.2b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (pow.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 (neg.f64 (*.f64 4 a))) (log.f64 (/.f64 1 c))))) 2) b)))
20.7b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (*.f64 2 b) (/.f64 1 a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
30.6b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
28.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) 3))) (neg.f64 b))))
20.7b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) 1) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
36.5b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (pow.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 (*.f64 4 a)) (log.f64 (/.f64 -1 c))))) 2) b)))
✓19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b))))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (+.f64 (fma.f64 (fabs.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b)) 0)))
▶19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1 a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
35.2b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (pow.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 (neg.f64 (*.f64 4 a))) (log.f64 (/.f64 1 c))))) 2) b)))
36.5b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (pow.f64 (exp.f64 (*.f64 1/4 (-.f64 (log.f64 (*.f64 4 a)) (log.f64 (/.f64 -1 c))))) 2) b)))
20.6b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 2 (/.f64 b a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
30.6b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
28.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) 3))) (neg.f64 b))))
20.7b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) 1) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
✓19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b))))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (+.f64 (fma.f64 (fabs.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b)) 0)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1 a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
20.5b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) b)))
30.6b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
20.7b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) 1) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
20.6b
(if (>=.f64 b 0) (*.f64 -1/2 (*.f64 2 (/.f64 b a))) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
▶19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b))))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (+.f64 (fma.f64 (fabs.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b)) 0)))
▶18.9b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (*.f64 -2 b)))
20.5b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) b)))
20.6b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b b) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
30.6b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
19.0b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b))))
19.1b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (+.f64 (fma.f64 (fabs.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b)) 0)))
▶18.9b
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))
24.5b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (*.f64 2 a)))
23.6b
(if (>=.f64 b 0) (/.f64 2 (/.f64 (*.f64 -2 b) c)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
20.3b
(if (>=.f64 b 0) (*.f64 (/.f64 (sqrt.f64 2) 1) (/.f64 (sqrt.f64 2) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) c))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
22.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (*.f64 2 a)))
21.9b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
35.3b
(if (>=.f64 b 0) (*.f64 (/.f64 (*.f64 c 2) (*.f64 (*.f64 c a) 4)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
35.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
23.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
29.2b
(if (>=.f64 b 0) (/.f64 2 (/.f64 (cbrt.f64 (pow.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) 3)) c)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
31.6b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 4 (*.f64 c a)) 3))) (sqrt.f64 (fma.f64 (*.f64 4 (*.f64 c a)) (fma.f64 4 (*.f64 c a) (*.f64 b b)) (pow.f64 b 4))))) (*.f64 2 a)))
23.4b
(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
20.4b
(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
21.9b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
✓20.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
35.3b
(if (>=.f64 b 0) (*.f64 (/.f64 (*.f64 c 2) (*.f64 (*.f64 c a) 4)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
35.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
24.5b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (*.f64 2 a)))
31.6b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 4 (*.f64 c a)) 3))) (sqrt.f64 (fma.f64 (*.f64 4 (*.f64 c a)) (fma.f64 4 (*.f64 c a) (*.f64 b b)) (pow.f64 b 4))))) (*.f64 2 a)))
▶20.2b
(if (>=.f64 b 0) (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) c)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
22.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (*.f64 2 a)))
23.4b
(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
36.2b
(if (>=.f64 b 0) (*.f64 (/.f64 (*.f64 2 c) (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
20.4b
(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
23.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
21.9b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
▶20.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
35.3b
(if (>=.f64 b 0) (*.f64 (/.f64 (*.f64 c 2) (*.f64 (*.f64 c a) 4)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
35.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
24.5b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (*.f64 2 a)))
31.6b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 4 (*.f64 c a)) 3))) (sqrt.f64 (fma.f64 (*.f64 4 (*.f64 c a)) (fma.f64 4 (*.f64 c a) (*.f64 b b)) (pow.f64 b 4))))) (*.f64 2 a)))
20.2b
(if (>=.f64 b 0) (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) c)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
22.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (*.f64 2 a)))
23.4b
(if (>=.f64 b 0) (*.f64 -1 (/.f64 c b)) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
36.2b
(if (>=.f64 b 0) (*.f64 (/.f64 (*.f64 2 c) (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
20.4b
(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
23.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
21.9b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
35.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
23.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)))) (*.f64 2 a)))
▶20.0b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 -2 b) (*.f64 2 a)))
24.5b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (*.f64 2 a)))
31.6b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 4 (*.f64 c a)) 3))) (sqrt.f64 (fma.f64 (*.f64 4 (*.f64 c a)) (fma.f64 4 (*.f64 c a) (*.f64 b b)) (pow.f64 b 4))))) (*.f64 2 a)))
23.7b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) b)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
22.1b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b) b))) (*.f64 2 a)))
20.5b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (*.f64 (cbrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
20.4b
(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
20.4b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
▶20.3b
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
20.4b
(if (>=.f64 b 0) (*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
✓0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
✓0.0b
(neg.f64 (log.f64 (expm1.f64 (neg.f64 (log.f64 x)))))
✓0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
▶0.0b
(neg.f64 (log.f64 (expm1.f64 (neg.f64 (log.f64 x)))))
▶0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
✓30.6b
(sqrt.f64 (*.f64 (-.f64 x 1) x))
✓0.4b
(-.f64 x (+.f64 1/2 (+.f64 (/.f64 1/8 x) (/.f64 1/16 (*.f64 x x)))))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
▶30.6b
(sqrt.f64 (*.f64 (-.f64 x 1) x))
✓0.4b
(-.f64 x (+.f64 1/2 (+.f64 (/.f64 1/8 x) (/.f64 1/16 (*.f64 x x)))))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
30.6b
(sqrt.f64 (*.f64 (-.f64 x 1) x))
▶0.4b
(-.f64 x (+.f64 1/2 (+.f64 (/.f64 1/8 x) (/.f64 1/16 (*.f64 x x)))))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
▶0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
✓0.0b
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 f n)))))
34.0b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
✓0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
✓1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
✓0.0b
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 f n)))))
34.0b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
✓0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
▶1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
▶0.0b
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 f n)))))
34.0b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
✓0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
▶0.0b
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
✓0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
29.4b
(*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
34.0b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
▶0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 151454 to 85326 computations (43.7% saved)

regimes6.5s (14%)

Compiler

Compiled 58037 to 39842 computations (31.4% saved)

simplify5.1s (11.1%)

Algorithm
45×egg-herbie
Rules
13579×fma-def_binary64
13433×fma-neg_binary64
7104×times-frac_binary64
6923×associate-/l*_binary64
5690×distribute-rgt-in_binary64
Counts
2852 → 5184

analyze3.9s (8.4%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14
Compiler

Compiled 161 to 110 computations (31.7% saved)

rewrite862.0ms (1.9%)

Algorithm
27×rewrite-expression-head
Rules
930×*-un-lft-identity_binary64
871×add-sqr-sqrt_binary64
747×times-frac_binary64
568×add-cube-cbrt_binary64
207×exp-prod_binary64
Counts
48 → 1876
Calls

48 calls:

69.0ms
(/.f64 1/16 (*.f64 x x))
37.0ms
(sqrt.f64 (*.f64 (-.f64 x 1) x))
29.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
25.0ms
(/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) c))
23.0ms
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 f n)))))

localize479.0ms (1%)

Compiler

Compiled 12240 to 10200 computations (16.7% saved)

bsearch30.0ms (0.1%)

Compiler

Compiled 82 to 52 computations (36.6% saved)

end20.0ms (0%)

Compiler

Compiled 730 to 455 computations (37.7% saved)

Profiling

Loading profile data...