Date:Saturday, October 2nd, 2021
Commit:d3249e97 on master
Hostname:warfa with Racket 8.1
Seed:2021275
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: 5.1min)

series1.7min (33.2%)

Counts
229 → 5094
Calls

223 calls:

1.4min
(*.f64 (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))))
3.3s
(cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))
1.6s
(log.f64 (*.f64 (exp.f64 a) (*.f64 (exp.f64 b) (*.f64 (exp.f64 c) (exp.f64 d)))))
627.0ms
(/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))
470.0ms
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (*.f64 2 a))

sample56.4s (18.5%)

Algorithm
69×intervals
Results
18.6s231103×body128valid
6.4s14956×body1024valid
4.6s6150×body2048valid
2.6s82761×pre128true
2.5s14390×body128invalid
2.4s12037×body256valid
2.0s7377×body512valid
1.6s200×body8192exit
591.0ms825×body4096valid
153.0ms1683×body128nan
151.0ms205×body1024invalid
121.0ms241×body512invalid
48.0ms171×body256invalid
45.0ms23×body2048invalid
22.0ms220×body128overflowed
9.0ms102×pre128false
Compiler

Compiled 7626 to 5269 computations (30.9% saved)

prune47.0s (15.4%)

Counts
21569 → 556
Alt Table
StatusErrorProgram
42.2b
(/.f64 (-.f64 a (/.f64 (*.f64 c b) d)) (hypot.f64 d c))
20.9b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d))) (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d)))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 d c)) 3) (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d)))))
43.6b
(/.f64 (-.f64 (/.f64 (*.f64 c b) d) a) (hypot.f64 d c))
38.9b
(-.f64 (/.f64 b c) (fma.f64 (/.f64 a c) (/.f64 d c) (/.f64 (*.f64 (*.f64 d d) b) (pow.f64 c 3))))
37.7b
(/.f64 b c)
38.9b
(-.f64 (fma.f64 (/.f64 c d) (/.f64 b d) (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 d 3))) (/.f64 a d))
✓16.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 1 (/.f64 (hypot.f64 d c) (-.f64 (*.f64 c b) (*.f64 a d)))))
17.4b
(/.f64 1 (/.f64 (hypot.f64 d c) (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (hypot.f64 d c))))
36.8b
(neg.f64 (/.f64 a d))
42.2b
(/.f64 (-.f64 a (/.f64 (*.f64 c b) d)) (hypot.f64 d c))
20.9b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d))) (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d)))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 d c)) 3) (cbrt.f64 (-.f64 (*.f64 c b) (*.f64 a d)))))
43.6b
(/.f64 (-.f64 (/.f64 (*.f64 c b) d) a) (hypot.f64 d c))
38.9b
(-.f64 (/.f64 b c) (fma.f64 (/.f64 a c) (/.f64 d c) (/.f64 (*.f64 (*.f64 d d) b) (pow.f64 c 3))))
37.7b
(/.f64 b c)
38.9b
(-.f64 (fma.f64 (/.f64 c d) (/.f64 b d) (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 d 3))) (/.f64 a d))
▶16.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 1 (/.f64 (hypot.f64 d c) (-.f64 (*.f64 c b) (*.f64 a d)))))
17.4b
(/.f64 1 (/.f64 (hypot.f64 d c) (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (hypot.f64 d c))))
36.8b
(neg.f64 (/.f64 a d))
▶16.6b
(/.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (hypot.f64 d c)) (hypot.f64 d c))
16.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 1 (/.f64 (hypot.f64 d c) (-.f64 (*.f64 c b) (*.f64 a d)))))
25.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))) (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d))))) (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))))
25.3b
(*.f64 1 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (*.f64 (hypot.f64 d c) (hypot.f64 d c))))
38.9b
(-.f64 (/.f64 b c) (fma.f64 (/.f64 a c) (/.f64 d c) (/.f64 (*.f64 (*.f64 d d) b) (pow.f64 c 3))))
37.7b
(/.f64 b c)
42.3b
(*.f64 (/.f64 1 (hypot.f64 d c)) (-.f64 a (/.f64 (*.f64 c b) d)))
38.9b
(-.f64 (fma.f64 (/.f64 c d) (/.f64 b d) (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 d 3))) (/.f64 a d))
43.6b
(*.f64 (/.f64 1 (hypot.f64 d c)) (-.f64 (/.f64 (*.f64 c b) d) a))
36.8b
(neg.f64 (/.f64 a d))
25.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))) (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d))))) (cbrt.f64 (/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))))
25.2b
(/.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (hypot.f64 d c)) (sqrt.f64 (fma.f64 c c (*.f64 d d))))
✓25.3b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
38.9b
(-.f64 (/.f64 b c) (fma.f64 (/.f64 a c) (/.f64 d c) (/.f64 (*.f64 (*.f64 d d) b) (pow.f64 c 3))))
▶16.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (hypot.f64 d c)))
37.7b
(/.f64 b c)
38.9b
(-.f64 (fma.f64 (/.f64 c d) (/.f64 b d) (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 d 3))) (/.f64 a d))
36.8b
(neg.f64 (/.f64 a d))
▶25.3b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (fma.f64 c c (*.f64 d d)))
21.4b
(fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 d (/.f64 (fma.f64 c c (*.f64 d d)) b)))
33.2b
(fma.f64 (/.f64 b c) (/.f64 d c) (/.f64 a c))
✓15.9b
(*.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (sqrt.f64 (hypot.f64 d c))))
14.2b
(fma.f64 (*.f64 (/.f64 1 (hypot.f64 c d)) (/.f64 c (hypot.f64 c d))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c))))
✓15.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)))
43.3b
(*.f64 (/.f64 1 (hypot.f64 d c)) (fma.f64 (/.f64 c d) a b))
31.2b
(fma.f64 (/.f64 a d) (/.f64 c d) (/.f64 b d))
33.2b
(fma.f64 (/.f64 b c) (/.f64 d c) (/.f64 a c))
✓15.9b
(*.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (sqrt.f64 (hypot.f64 d c))))
✓15.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)))
42.9b
(*.f64 (/.f64 1 (hypot.f64 d c)) (neg.f64 (fma.f64 (/.f64 c d) a b)))
▶22.5b
(fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c))))
43.3b
(*.f64 (/.f64 1 (hypot.f64 d c)) (fma.f64 (/.f64 c d) a b))
31.2b
(fma.f64 (/.f64 a d) (/.f64 c d) (/.f64 b d))
33.2b
(fma.f64 (/.f64 b c) (/.f64 d c) (/.f64 a c))
▶15.9b
(*.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (sqrt.f64 (hypot.f64 d c))))
✓15.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)))
42.9b
(*.f64 (/.f64 1 (hypot.f64 d c)) (neg.f64 (fma.f64 (/.f64 c d) a b)))
22.5b
(fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c))))
43.3b
(*.f64 (/.f64 1 (hypot.f64 d c)) (fma.f64 (/.f64 c d) a b))
31.2b
(fma.f64 (/.f64 a d) (/.f64 c d) (/.f64 b d))
37.6b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 d b (*.f64 c a))) (hypot.f64 d c)) (/.f64 (sqrt.f64 (fma.f64 d b (*.f64 c a))) (hypot.f64 d c)))
21.0b
(fma.f64 b (/.f64 d (fma.f64 d d (*.f64 c c))) (/.f64 (*.f64 c a) (fma.f64 d d (*.f64 c c))))
16.3b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 d b (*.f64 c a))) (cbrt.f64 (fma.f64 d b (*.f64 c a)))) (hypot.f64 d c)) (/.f64 (cbrt.f64 (fma.f64 d b (*.f64 c a))) (hypot.f64 d c)))
37.4b
(/.f64 a c)
36.8b
(/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c)))
▶15.7b
(*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)))
34.4b
(fma.f64 a (/.f64 c (*.f64 d d)) (/.f64 b d))
37.5b
(/.f64 b d)
23.7b
(/.f64 (/.f64 (fma.f64 a c (*.f64 b d)) (sqrt.f64 (fma.f64 c c (*.f64 d d)))) (sqrt.f64 (fma.f64 c c (*.f64 d d))))
▶23.8b
(/.f64 (fma.f64 a c (*.f64 b d)) (fma.f64 c c (*.f64 d d)))
23.8b
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
✓17.8b
(*.f64 100 (*.f64 n (/.f64 (expm1.f64 i) i)))
54.5b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 n (-.f64 (log.f64 (/.f64 -1 n)) (log.f64 (/.f64 -1 i))))) (/.f64 i n)))
26.6b
(-.f64 (fma.f64 (*.f64 n (*.f64 i i)) 50/3 (fma.f64 n 100 (fma.f64 (*.f64 n i) 50 (*.f64 (/.f64 (*.f64 i i) n) 100/3)))) (*.f64 50 (+.f64 i (*.f64 i i))))
49.0b
(/.f64 (*.f64 100 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)) (/.f64 i n))
47.9b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))
56.4b
(*.f64 100 (/.f64 (log.f64 (/.f64 i n)) (/.f64 i (*.f64 n n))))
55.7b
(*.f64 100 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (log.f64 i) (log.f64 n))) i))
49.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓17.8b
(*.f64 (*.f64 n 100) (/.f64 (expm1.f64 i) i))
▶17.8b
(*.f64 100 (*.f64 n (/.f64 (expm1.f64 i) i)))
54.5b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 n (-.f64 (log.f64 (/.f64 -1 n)) (log.f64 (/.f64 -1 i))))) (/.f64 i n)))
26.6b
(-.f64 (fma.f64 (*.f64 n (*.f64 i i)) 50/3 (fma.f64 n 100 (fma.f64 (*.f64 n i) 50 (*.f64 (/.f64 (*.f64 i i) n) 100/3)))) (*.f64 50 (+.f64 i (*.f64 i i))))
49.0b
(/.f64 (*.f64 100 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)) (/.f64 i n))
47.9b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))
56.4b
(*.f64 100 (/.f64 (log.f64 (/.f64 i n)) (/.f64 i (*.f64 n n))))
55.7b
(*.f64 100 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (log.f64 i) (log.f64 n))) i))
49.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓17.8b
(*.f64 (*.f64 n 100) (/.f64 (expm1.f64 i) i))
17.8b
(*.f64 100 (*.f64 n (/.f64 (expm1.f64 i) i)))
54.5b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 n (-.f64 (log.f64 (/.f64 -1 n)) (log.f64 (/.f64 -1 i))))) (/.f64 i n)))
26.6b
(-.f64 (fma.f64 (*.f64 n (*.f64 i i)) 50/3 (fma.f64 n 100 (fma.f64 (*.f64 n i) 50 (*.f64 (/.f64 (*.f64 i i) n) 100/3)))) (*.f64 50 (+.f64 i (*.f64 i i))))
49.0b
(/.f64 (*.f64 100 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)) (/.f64 i n))
47.9b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))
56.4b
(*.f64 100 (/.f64 (log.f64 (/.f64 i n)) (/.f64 i (*.f64 n n))))
55.7b
(*.f64 100 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (log.f64 i) (log.f64 n))) i))
49.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
▶17.8b
(*.f64 (*.f64 n 100) (/.f64 (expm1.f64 i) i))
49.0b
(/.f64 (*.f64 100 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)) (/.f64 i n))
▶22.2b
(*.f64 100 (/.f64 (*.f64 n (expm1.f64 i)) i))
26.6b
(-.f64 (fma.f64 (*.f64 n (*.f64 i i)) 50/3 (fma.f64 n 100 (fma.f64 (*.f64 n i) 50 (*.f64 (/.f64 (*.f64 i i) n) 100/3)))) (*.f64 50 (+.f64 i (*.f64 i i))))
47.9b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))
56.4b
(*.f64 100 (/.f64 (log.f64 (/.f64 i n)) (/.f64 i (*.f64 n n))))
55.7b
(*.f64 100 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (log.f64 i) (log.f64 n))) i))
54.5b
(*.f64 100 (/.f64 (expm1.f64 (*.f64 n (-.f64 (log.f64 (/.f64 -1 n)) (log.f64 (/.f64 -1 i))))) (/.f64 i n)))
49.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
▶49.0b
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
49.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓0b
(*.f64 (+.f64 a b) (-.f64 a b))
▶0b
(*.f64 (+.f64 a b) (-.f64 a b))
▶0.0b
(-.f64 (*.f64 a a) (*.f64 b b))
✓0.2b
(log.f64 (*.f64 (*.f64 (*.f64 (exp.f64 (+.f64 e d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
✓0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
▶0.2b
(log.f64 (*.f64 (*.f64 (*.f64 (exp.f64 (+.f64 e d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
✓0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
0.2b
(log.f64 (*.f64 (*.f64 (*.f64 (exp.f64 (+.f64 e d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
▶0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
▶0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
✓0b
(fma.f64 x x x)
▶0b
(fma.f64 x x x)
✓0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
✓0.0b
(fma.f64 x x (pow.f64 x 3))
✓0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
▶0.0b
(fma.f64 x x (pow.f64 x 3))
0.0b
(*.f64 x (fma.f64 x x x))
▶0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
✓0.1b
(expm1.f64 (log1p.f64 (*.f64 a (+.f64 (+.f64 b c) d))))
✓0.6b
(*.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (+.f64 (+.f64 b c) d)))
✓0.0b
(+.f64 (*.f64 (+.f64 b c) a) (*.f64 d a))
0.7b
(*.f64 (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))) (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))))
✓0.1b
(expm1.f64 (log1p.f64 (*.f64 a (+.f64 (+.f64 b c) d))))
▶0.6b
(*.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (+.f64 (+.f64 b c) d)))
✓0.0b
(+.f64 (*.f64 (+.f64 b c) a) (*.f64 d a))
0.7b
(*.f64 (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))) (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))))
▶0.1b
(expm1.f64 (log1p.f64 (*.f64 a (+.f64 (+.f64 b c) d))))
0.6b
(*.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (+.f64 (+.f64 b c) d)))
✓0.0b
(+.f64 (*.f64 (+.f64 b c) a) (*.f64 d a))
0.7b
(*.f64 (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))) (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))))
0.1b
(expm1.f64 (log1p.f64 (*.f64 a (+.f64 (+.f64 b c) d))))
0.6b
(*.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (+.f64 (+.f64 b c) d)))
▶0.0b
(+.f64 (*.f64 (+.f64 b c) a) (*.f64 d a))
0.7b
(*.f64 (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))) (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (+.f64 b c) d))))
▶0.0b
(*.f64 a (+.f64 (+.f64 b c) d))
✓0b
(*.f64 (+.f64 c (log.f64 (exp.f64 (+.f64 b (+.f64 d a))))) 2)
▶0b
(*.f64 (+.f64 c (log.f64 (exp.f64 (+.f64 b (+.f64 d a))))) 2)
3.2b
(*.f64 (expm1.f64 (log1p.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
0.2b
(*.f64 (+.f64 (log.f64 (*.f64 (exp.f64 c) (*.f64 (exp.f64 d) (exp.f64 a)))) b) 2)
1.5b
(*.f64 (log.f64 (*.f64 (exp.f64 a) (*.f64 (exp.f64 (+.f64 b c)) (exp.f64 d)))) 2)
▶0.1b
(*.f64 (+.f64 c (log.f64 (*.f64 (exp.f64 b) (*.f64 (exp.f64 d) (exp.f64 a))))) 2)
3.8b
(*.f64 (log.f64 (*.f64 (exp.f64 a) (*.f64 (exp.f64 b) (exp.f64 (+.f64 c d))))) 2)
5.9b
(*.f64 (fma.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (cbrt.f64 a) (+.f64 b (+.f64 c d))) 2)
▶1.6b
(*.f64 (log.f64 (*.f64 (exp.f64 a) (*.f64 (exp.f64 b) (*.f64 (exp.f64 c) (exp.f64 d))))) 2)
3.6b
(*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 c (+.f64 d b)) (+.f64 c (+.f64 d b)))) (-.f64 a (+.f64 c (+.f64 d b)))) 2)
4.0b
(*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2)
3.7b
(*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c (+.f64 d b)) 3)) (fma.f64 (+.f64 c (+.f64 d b)) (-.f64 (+.f64 c (+.f64 d b)) a) (*.f64 a a))) 2)
4.0b
(*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 a (+.f64 b (+.f64 c d)))))) 2)
3.0b
(*.f64 (log1p.f64 (expm1.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
3.2b
(*.f64 (expm1.f64 (log1p.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
2.8b
(*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2)
▶3.8b
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
✓0.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y))))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))))
✓0.2b
(*.f64 (-.f64 x y) (/.f64 (/.f64 (+.f64 x y) (hypot.f64 x y)) (hypot.f64 x y)))
0.5b
(*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (sqrt.f64 (hypot.f64 x y))) (sqrt.f64 (hypot.f64 x y))))
✓0.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y))))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))))
▶0.2b
(*.f64 (-.f64 x y) (/.f64 (/.f64 (+.f64 x y) (hypot.f64 x y)) (hypot.f64 x y)))
0.5b
(*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (sqrt.f64 (hypot.f64 x y))) (sqrt.f64 (hypot.f64 x y))))
▶0.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y))))) (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))))
0.2b
(*.f64 (-.f64 x y) (/.f64 (/.f64 (+.f64 x y) (hypot.f64 x y)) (hypot.f64 x y)))
0.5b
(*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (sqrt.f64 (hypot.f64 x y))) (sqrt.f64 (hypot.f64 x y))))
26.2b
(fma.f64 2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
21.5b
(/.f64 (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (cbrt.f64 (fma.f64 x x (*.f64 y y))) (cbrt.f64 (fma.f64 x x (*.f64 y y))))) (cbrt.f64 (fma.f64 x x (*.f64 y y))))
▶0.0b
(*.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) (/.f64 (+.f64 x y) (hypot.f64 x y)))
▶20.6b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (fma.f64 x x (*.f64 y y)))
✓21.5b
(fma.f64 1/2 x 1)
✓0.0b
(/.f64 (expm1.f64 x) x)
▶21.5b
(fma.f64 1/2 x 1)
✓0.0b
(/.f64 (expm1.f64 x) x)
▶0.0b
(/.f64 (expm1.f64 x) x)
✓0b
38/81
▶0b
38/81
41.7b
(neg.f64 (/.f64 c b))
45.2b
(*.f64 (*.f64 -2 b) (/.f64 1/2 a))
45.2b
(/.f64 1 (/.f64 (*.f64 2 a) (*.f64 b -2)))
29.5b
(*.f64 1/2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b) a))
✓28.9b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
36.1b
(/.f64 (*.f64 1/2 (+.f64 (*.f64 c (*.f64 a -4)) 0)) (*.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))
46.4b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b))) (*.f64 2 a))
33.1b
(*.f64 (/.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 1/2 a))
41.7b
(neg.f64 (/.f64 c b))
45.2b
(*.f64 (*.f64 -2 b) (/.f64 1/2 a))
✓28.9b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
45.3b
(-.f64 (/.f64 c b) (/.f64 b a))
✓28.9b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
36.1b
(/.f64 (*.f64 1/2 (+.f64 (*.f64 c (*.f64 a -4)) 0)) (*.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))
▶31.8b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (*.f64 2 a))
55.2b
(*.f64 (-.f64 b b) (/.f64 1/2 a))
33.1b
(*.f64 (/.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 1/2 a))
45.2b
(/.f64 1 (/.f64 (*.f64 2 a) (*.f64 b -2)))
✓28.9b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
33.1b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
41.7b
(neg.f64 (/.f64 c b))
▶28.9b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
31.8b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (*.f64 2 a))
32.8b
(*.f64 (*.f64 (*.f64 4 (*.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))
45.3b
(-.f64 (/.f64 c b) (/.f64 b a))
45.1b
(/.f64 (neg.f64 b) a)
33.3b
(/.f64 1 (/.f64 (*.f64 2 a) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))))
55.2b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
45.2b
(/.f64 1 (/.f64 (*.f64 2 a) (*.f64 b -2)))
▶28.9b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
33.1b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
41.7b
(neg.f64 (/.f64 c b))
28.9b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
45.0b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b) (*.f64 a 2))) (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b) (*.f64 a 2))))
✓28.9b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
45.3b
(-.f64 (/.f64 c b) (/.f64 b a))
45.1b
(/.f64 (neg.f64 b) a)
55.2b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
31.8b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (*.f64 2 a))
28.9b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶28.9b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
45.1b
(*.f64 2 (/.f64 c (sqrt.f64 (*.f64 -4 (*.f64 c a)))))
44.1b
(/.f64 1 (/.f64 (*.f64 a -2) (+.f64 b (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b))))
43.1b
(/.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 2 a))
36.6b
(neg.f64 (/.f64 c b))
47.1b
(/.f64 1 (neg.f64 (/.f64 a b)))
✓32.0b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
✓32.6b
(/.f64 1 (/.f64 (*.f64 a -2) (+.f64 b (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))))
38.5b
(/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))) (*.f64 a -2))
43.1b
(/.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 2 a))
36.6b
(neg.f64 (/.f64 c b))
45.1b
(*.f64 2 (/.f64 c (sqrt.f64 (*.f64 -4 (*.f64 c a)))))
44.1b
(/.f64 (+.f64 b (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b)) (*.f64 a -2))
✓32.0b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
47.0b
(/.f64 (neg.f64 b) a)
▶32.6b
(/.f64 1 (/.f64 (*.f64 a -2) (+.f64 b (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))))
38.5b
(/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))) (*.f64 a -2))
43.1b
(/.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 2 a))
36.6b
(neg.f64 (/.f64 c b))
34.2b
(/.f64 1 (/.f64 (*.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
47.0b
(/.f64 (neg.f64 b) a)
45.1b
(*.f64 2 (/.f64 c (sqrt.f64 (*.f64 -4 (*.f64 c a)))))
38.5b
(/.f64 (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))) (*.f64 2 a))
✓32.0b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
▶32.5b
(/.f64 (+.f64 b (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)) (*.f64 a -2))
43.1b
(/.f64 (/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 2 a))
36.6b
(neg.f64 (/.f64 c b))
34.2b
(/.f64 1 (/.f64 (*.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
47.0b
(/.f64 (neg.f64 b) a)
38.5b
(/.f64 (-.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))) (*.f64 2 a))
▶32.0b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
32.5b
(/.f64 (+.f64 b (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)) (*.f64 a -2))
44.9b
(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)) (*.f64 a 2)) 3))
34.4b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
▶34.1b
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a))
✓0.5b
(*.f64 (sqrt.f64 t) (*.f64 1/25000000000000000000000000000000 (pow.f64 t 3/2)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.5b
(*.f64 t (*.f64 t (*.f64 1/5000000000000000 (sqrt.f64 1/25000000000000000000000000000000))))
0.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 1/25000000000000000000000000000000) (*.f64 t 1/25000000000000000000000000000000)) (*.f64 t 1/25000000000000000000000000000000))))
✓0.4b
(*.f64 (*.f64 t (*.f64 t 1/5000000000000000)) (sqrt.f64 1/25000000000000000000000000000000))
▶0.5b
(*.f64 (sqrt.f64 t) (*.f64 1/25000000000000000000000000000000 (pow.f64 t 3/2)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.5b
(*.f64 t (*.f64 t (*.f64 1/5000000000000000 (sqrt.f64 1/25000000000000000000000000000000))))
0.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 1/25000000000000000000000000000000) (*.f64 t 1/25000000000000000000000000000000)) (*.f64 t 1/25000000000000000000000000000000))))
✓0.4b
(*.f64 (*.f64 t (*.f64 t 1/5000000000000000)) (sqrt.f64 1/25000000000000000000000000000000))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 1/25000000000000000000000000000000 (pow.f64 t 3/2)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.5b
(*.f64 t (*.f64 t (*.f64 1/5000000000000000 (sqrt.f64 1/25000000000000000000000000000000))))
0.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 1/25000000000000000000000000000000) (*.f64 t 1/25000000000000000000000000000000)) (*.f64 t 1/25000000000000000000000000000000))))
▶0.4b
(*.f64 (*.f64 t (*.f64 t 1/5000000000000000)) (sqrt.f64 1/25000000000000000000000000000000))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.6b
(*.f64 (sqrt.f64 t) (*.f64 (sqrt.f64 t) (*.f64 t 1/25000000000000000000000000000000)))
0.6b
(*.f64 t (cbrt.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 1/25000000000000000000000000000000 1/25000000000000000000000000000000) 1/25000000000000000000000000000000))))
0.7b
(*.f64 t (*.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) (*.f64 (sqrt.f64 t) 1/5000000000000000)))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 1/25000000000000000000000000000000 (pow.f64 t 3/2)))
0.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 1/25000000000000000000000000000000) (*.f64 t 1/25000000000000000000000000000000)) (*.f64 t 1/25000000000000000000000000000000))))
0.7b
(cbrt.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6)))
0.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000)) (*.f64 t (*.f64 t 1/25000000000000000000000000000000))) (*.f64 t (*.f64 t 1/25000000000000000000000000000000))))
0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
▶0.4b
(*.f64 t (*.f64 (*.f64 t 1/5000000000000000) (sqrt.f64 1/25000000000000000000000000000000)))
▶0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
1.0b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
1.5b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3) (pow.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3)))
✓0.3b
(fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
✓0.8b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
2.1b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (*.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 4)))
✓0.5b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
0.9b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))) (sqrt.f64 (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3)))
0.7b
(*.f64 (pow.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3/2) (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3)))
1.1b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (*.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)))
1.5b
(*.f64 (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
✓0.5b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.4b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)) 3))
1.0b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
1.5b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3) (pow.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3)))
✓0.3b
(fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
▶0.8b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
2.1b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (*.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 4)))
1.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.0b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/.f64 3 2))) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/.f64 3 2)))
1.1b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (*.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)))
1.5b
(*.f64 (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
1.0b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
1.8b
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 4) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.0b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
▶0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3))
✓0.5b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
✓0.3b
(fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
1.5b
(*.f64 (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
▶0.5b
(*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
1.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
✓0.3b
(fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
▶0.3b
(fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
✓41.8b
(log.f64 (+.f64 1 x))
✓0.0b
(log1p.f64 x)
▶41.8b
(log.f64 (+.f64 1 x))
✓0.0b
(log1p.f64 x)
41.8b
(log.f64 (+.f64 1 x))
▶0.0b
(log1p.f64 x)
✓0b
-1
▶0b
-1
✓31.4b
(/.f64 1 x)
✓31.5b
(-.f64 x (pow.f64 x 3))
✓12.9b
(/.f64 x (fma.f64 x x 1))
✓31.4b
(/.f64 1 x)
▶31.5b
(-.f64 x (pow.f64 x 3))
✓12.9b
(/.f64 x (fma.f64 x x 1))
▶31.4b
(/.f64 1 x)
31.5b
(-.f64 x (pow.f64 x 3))
✓12.9b
(/.f64 x (fma.f64 x x 1))
▶12.9b
(/.f64 x (fma.f64 x x 1))
✓0b
(+.f64 (+.f64 (fma.f64 9 (pow.f64 x 4) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 y 4)) (sqrt.f64 (pow.f64 y 4))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 y 4))) (sqrt.f64 (pow.f64 y 4)) (*.f64 (sqrt.f64 (pow.f64 y 4)) (sqrt.f64 (pow.f64 y 4))))) (*.f64 2 (*.f64 y y)))
▶0b
(+.f64 (+.f64 (fma.f64 9 (pow.f64 x 4) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 y 4)) (sqrt.f64 (pow.f64 y 4))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 y 4))) (sqrt.f64 (pow.f64 y 4)) (*.f64 (sqrt.f64 (pow.f64 y 4)) (sqrt.f64 (pow.f64 y 4))))) (*.f64 2 (*.f64 y y)))
▶52.0b
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
✓0b
(+.f64 (fma.f64 9 (pow.f64 x 4) (neg.f64 (*.f64 (fma.f64 y y -2) (*.f64 y y)))) (fma.f64 (neg.f64 (fma.f64 y y -2)) (*.f64 y y) (*.f64 (fma.f64 y y -2) (*.f64 y y))))
▶0b
(+.f64 (fma.f64 9 (pow.f64 x 4) (neg.f64 (*.f64 (fma.f64 y y -2) (*.f64 y y)))) (fma.f64 (neg.f64 (fma.f64 y y -2)) (*.f64 y y) (*.f64 (fma.f64 y y -2) (*.f64 y y))))
▶62.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (fma.f64 y y -2)))
✓0b
-54767/66192
▶0b
-54767/66192
✓0.0b
(/.f64 (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 1) (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 2))
✓0.0b
(log.f64 (exp.f64 (/.f64 (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 1) (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 2))))
✓0.0b
(/.f64 (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 1) (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 2))
▶0.0b
(log.f64 (exp.f64 (/.f64 (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 1) (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 2))))
▶0.0b
(/.f64 (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 1) (fma.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))) 2))
✓0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
✓0.0b
(/.f64 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 5) (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6))
▶0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
✓0.0b
(/.f64 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 5) (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6))
0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
▶0.0b
(/.f64 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 5) (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6))
✓0.0b
(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓0.0b
(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
✓1.2b
(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))))
✓0.0b
(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓0.0b
(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
▶1.2b
(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))))
✓0.0b
(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
0.5b
(*.f64 (sqrt.f64 (+.f64 1 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))) (sqrt.f64 (+.f64 1 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))))
▶0.0b
(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
▶0.0b
(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓0.5b
(/.f64 (/.f64 (fma.f64 2 x 2) (exp.f64 x)) 2)
✓47.5b
(/.f64 (/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 x eps x)) (*.f64 (exp.f64 (*.f64 x (-.f64 1 eps))) (+.f64 (/.f64 -1 eps) 1))) (exp.f64 (fma.f64 x (-.f64 1 eps) (fma.f64 x eps x)))) 2)
✓0.5b
(/.f64 (/.f64 (fma.f64 2 x 2) (exp.f64 x)) 2)
▶47.5b
(/.f64 (/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 x eps x)) (*.f64 (exp.f64 (*.f64 x (-.f64 1 eps))) (+.f64 (/.f64 -1 eps) 1))) (exp.f64 (fma.f64 x (-.f64 1 eps) (fma.f64 x eps x)))) 2)
▶0.5b
(/.f64 (/.f64 (fma.f64 2 x 2) (exp.f64 x)) 2)
47.5b
(/.f64 (/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 x eps x)) (*.f64 (exp.f64 (*.f64 x (-.f64 1 eps))) (+.f64 (/.f64 -1 eps) 1))) (exp.f64 (fma.f64 x (-.f64 1 eps) (fma.f64 x eps x)))) 2)
21.6b
(/.f64 (-.f64 (fma.f64 (*.f64 eps eps) (*.f64 x x) 2) (*.f64 x x)) 2)
47.5b
(/.f64 (/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 x eps x)) (*.f64 (exp.f64 (*.f64 x (-.f64 1 eps))) (+.f64 (/.f64 -1 eps) 1))) (exp.f64 (fma.f64 x (-.f64 1 eps) (fma.f64 x eps x)))) 2)
▶0.5b
(/.f64 (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (*.f64 2 x) 2)) 2)
40.9b
(*.f64 1/2 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x) (/.f64 (-.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 eps x x)))))
▶28.0b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
0.4b
(/.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) (/.f64 (PI.f64) (*.f64 a b)))) (+.f64 b a))
0.5b
(/.f64 (*.f64 1/2 (PI.f64)) (*.f64 (+.f64 b a) (*.f64 a b)))
6.1b
(/.f64 (*.f64 1/2 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (+.f64 b a) (-.f64 b a)))
✓0.2b
(/.f64 (*.f64 1/2 (/.f64 (PI.f64) (*.f64 a b))) (+.f64 b a))
✓0.2b
(/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a))
✓0.3b
(*.f64 (/.f64 1/2 (+.f64 a b)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)))
0.4b
(/.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) (/.f64 (PI.f64) (*.f64 a b)))) (+.f64 b a))
0.5b
(/.f64 (*.f64 1/2 (PI.f64)) (*.f64 (+.f64 b a) (*.f64 a b)))
6.1b
(/.f64 (*.f64 1/2 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (+.f64 b a) (-.f64 b a)))
✓0.2b
(/.f64 (*.f64 1/2 (/.f64 (PI.f64) (*.f64 a b))) (+.f64 b a))
✓0.2b
(/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a))
▶0.3b
(*.f64 (/.f64 1/2 (+.f64 a b)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)))
✓0.2b
(/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a))
0.7b
(*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (*.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)))) (/.f64 (-.f64 b a) (cbrt.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))))
6.1b
(/.f64 (*.f64 1/2 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (+.f64 b a) (-.f64 b a)))
▶0.2b
(/.f64 (*.f64 1/2 (/.f64 (PI.f64) (*.f64 a b))) (+.f64 b a))
0.4b
(*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b))))
39.0b
(*.f64 (/.f64 1/2 (+.f64 (pow.f64 b 3) (pow.f64 a 3))) (*.f64 (+.f64 (*.f64 b b) (-.f64 (*.f64 a a) (*.f64 b a))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))))
0.3b
(*.f64 (/.f64 1/2 (+.f64 a b)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)))
▶0.2b
(/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a))
0.7b
(*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (*.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)))) (/.f64 (-.f64 b a) (cbrt.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))))
0.4b
(*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b))))
0.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) 1) (*.f64 (/.f64 (cbrt.f64 1/2) (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))))
39.0b
(*.f64 (/.f64 1/2 (+.f64 (pow.f64 b 3) (pow.f64 a 3))) (*.f64 (+.f64 (*.f64 b b) (-.f64 (*.f64 a a) (*.f64 b a))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))))
0.3b
(*.f64 (/.f64 1/2 (+.f64 a b)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)))
6.1b
(/.f64 (*.f64 1/2 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (+.f64 b a) (-.f64 b a)))
▶0.3b
(*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)))
11.2b
(*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
✓0b
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
▶0b
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
✓0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
16.3b
(*.f64 x (log.f64 (exp.f64 (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
✓0.2b
(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
✓0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x)))
✓0.3b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 (*.f64 x x) 6450306886639899/50000000000000000) (cbrt.f64 (pow.f64 x 3))))
✓0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
16.3b
(*.f64 x (log.f64 (exp.f64 (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
✓0.2b
(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
✓0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x)))
▶0.3b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 (*.f64 x x) 6450306886639899/50000000000000000) (cbrt.f64 (pow.f64 x 3))))
✓0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
16.3b
(*.f64 x (log.f64 (exp.f64 (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
✓0.2b
(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
▶0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 6450306886639899/50000000000000000 x) (*.f64 x x)))
0.3b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 (*.f64 (*.f64 x x) 6450306886639899/50000000000000000) (cbrt.f64 (pow.f64 x 3))))
▶0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
16.3b
(*.f64 x (log.f64 (exp.f64 (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
32.6b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))
✓0.2b
(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
41.4b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)) (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
1.4b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))) (cbrt.f64 (*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000)))) (cbrt.f64 (*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))))
▶0.2b
(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
0.2b
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
15.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
7.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (pow.f64 (-.f64 -1 (/.f64 u t1)) 3)))
✓1.4b
(/.f64 (/.f64 v (+.f64 t1 u)) (+.f64 -1 (*.f64 (neg.f64 u) (/.f64 1 t1))))
6.1b
(*.f64 -1 (/.f64 v (+.f64 t1 (+.f64 (/.f64 (pow.f64 u 2) t1) (*.f64 2 u)))))
✓1.9b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
30.8b
(*.f64 (sqrt.f64 v) (/.f64 (/.f64 (sqrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
✓2.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
15.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
7.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (pow.f64 (-.f64 -1 (/.f64 u t1)) 3)))
✓1.4b
(/.f64 (/.f64 v (+.f64 t1 u)) (+.f64 -1 (*.f64 (neg.f64 u) (/.f64 1 t1))))
6.1b
(*.f64 -1 (/.f64 v (+.f64 t1 (+.f64 (/.f64 (pow.f64 u 2) t1) (*.f64 2 u)))))
✓1.9b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
30.8b
(*.f64 (sqrt.f64 v) (/.f64 (/.f64 (sqrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
▶2.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
15.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
7.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (pow.f64 (-.f64 -1 (/.f64 u t1)) 3)))
✓1.4b
(/.f64 (/.f64 v (+.f64 t1 u)) (+.f64 -1 (*.f64 (neg.f64 u) (/.f64 1 t1))))
6.1b
(*.f64 -1 (/.f64 v (+.f64 t1 (+.f64 (/.f64 (pow.f64 u 2) t1) (*.f64 2 u)))))
▶1.9b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
30.8b
(*.f64 (sqrt.f64 v) (/.f64 (/.f64 (sqrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
2.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
15.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
7.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (pow.f64 (-.f64 -1 (/.f64 u t1)) 3)))
▶1.4b
(/.f64 (/.f64 v (+.f64 t1 u)) (+.f64 -1 (*.f64 (neg.f64 u) (/.f64 1 t1))))
6.1b
(*.f64 -1 (/.f64 v (+.f64 t1 (+.f64 (/.f64 (pow.f64 u 2) t1) (*.f64 2 u)))))
1.9b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
30.8b
(*.f64 (sqrt.f64 v) (/.f64 (/.f64 (sqrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
2.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
▶1.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
15.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (+.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (+.f64 -6 (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
✓0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (+.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
0.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
27.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
0.6b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (*.f64 (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
23.1b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (*.f64 x1 6) (*.f64 x1 -4)) x1)))))
13.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (fma.f64 6 (*.f64 x1 x1) (*.f64 x1 -4))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
45.9b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 2 x1) (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1)) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (+.f64 (*.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1))) (-.f64 (*.f64 (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))) (*.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (pow.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) 3) (pow.f64 (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)) 3)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1))) (-.f64 (*.f64 (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))) (*.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
16.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
23.1b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (*.f64 x1 6) (*.f64 x1 -4)) x1)))))
▶0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (+.f64 (*.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
0.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
27.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
0.6b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (*.f64 (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
13.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (fma.f64 6 (*.f64 x1 x1) (*.f64 x1 -4))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
21.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (*.f64 (sqrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (sqrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
27.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
16.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
23.1b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (*.f64 x1 6) (*.f64 x1 -4)) x1)))))
▶0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
0.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
0.6b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (*.f64 (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
9.8b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (*.f64 (cbrt.f64 (*.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
21.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (*.f64 (sqrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (sqrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
27.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
▶0.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) (cbrt.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
0.6b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (*.f64 (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
16.0b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 x1 x1) -6 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
23.1b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (*.f64 x1 6) (*.f64 x1 -4)) x1)))))
0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
0.5b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 (*.f64 x1 4) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
10.1b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (*.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (pow.f64 x1 4) -16))) (-.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
▶0.3b
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1)))))
7.8b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
✓2.0b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
24.1b
(-.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
5.5b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (*.f64 r w) (*.f64 w (fma.f64 v -1/4 3/8))) (-.f64 1 v)) 3/2))
21.4b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 (*.f64 (*.f64 w w) (*.f64 r r)) 1/4 3/2))
15.5b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 (*.f64 w (*.f64 r r)) (*.f64 (/.f64 w (-.f64 1 v)) (fma.f64 v -1/4 3/8)) 3/2)) (cbrt.f64 (fma.f64 (*.f64 w (*.f64 r r)) (*.f64 (/.f64 w (-.f64 1 v)) (fma.f64 v -1/4 3/8)) 3/2))) (cbrt.f64 (fma.f64 (*.f64 w (*.f64 r r)) (*.f64 (/.f64 w (-.f64 1 v)) (fma.f64 v -1/4 3/8)) 3/2))))
2.5b
(-.f64 (*.f64 (/.f64 1 (*.f64 r (cbrt.f64 r))) (/.f64 2 (pow.f64 (cbrt.f64 r) 2))) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
11.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
7.4b
(-.f64 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (sqrt.f64 (/.f64 2 (*.f64 r r)))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
19.9b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (*.f64 (*.f64 w w) r) (*.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) r)))
15.4b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (sqrt.f64 (fma.f64 (*.f64 w (*.f64 r r)) (*.f64 (/.f64 w (-.f64 1 v)) (fma.f64 v -1/4 3/8)) 3/2)) (sqrt.f64 (fma.f64 (*.f64 w (*.f64 r r)) (*.f64 (/.f64 w (-.f64 1 v)) (fma.f64 v -1/4 3/8)) 3/2))))
33.8b
(-.f64 (/.f64 (/.f64 2 (pow.f64 r 3/2)) (sqrt.f64 r)) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
11.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 w (*.f64 w (*.f64 r (fma.f64 v -1/4 3/8)))) (-.f64 1 v)) 3/2))
2.4b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r w) (*.f64 (*.f64 w (*.f64 (cbrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) (cbrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) (cbrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 3/2))
7.8b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
✓2.0b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
11.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
▶2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
11.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 w (*.f64 w (*.f64 r (fma.f64 v -1/4 3/8)))) (-.f64 1 v)) 3/2))
25.2b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
5.5b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 (*.f64 (*.f64 r w) w) (fma.f64 v -1/4 3/8)) (/.f64 1 (-.f64 1 v))) 3/2))
2.5b
(-.f64 (*.f64 (/.f64 1 (*.f64 r (cbrt.f64 r))) (/.f64 2 (pow.f64 (cbrt.f64 r) 2))) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
7.4b
(-.f64 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (sqrt.f64 (/.f64 2 (*.f64 r r)))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
24.1b
(-.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
19.9b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (*.f64 (*.f64 w w) r) (*.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) r)))
21.4b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 (*.f64 (*.f64 w w) (*.f64 r r)) 1/4 3/2))
33.8b
(-.f64 (/.f64 (/.f64 2 (pow.f64 r 3/2)) (sqrt.f64 r)) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
7.8b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
▶2.0b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
7.5b
(-.f64 (/.f64 (sqrt.f64 2) (/.f64 (*.f64 r r) (sqrt.f64 2))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
5.5b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 (*.f64 (*.f64 r w) w) (fma.f64 v -1/4 3/8)) (/.f64 1 (-.f64 1 v))) 3/2))
11.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
21.4b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (*.f64 (*.f64 w w) (*.f64 r r)) 1/4 3/2))
2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
11.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 w (*.f64 w (*.f64 r (fma.f64 v -1/4 3/8)))) (-.f64 1 v)) 3/2))
25.2b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
7.4b
(-.f64 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (sqrt.f64 (/.f64 2 (*.f64 r r)))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
24.1b
(-.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
19.9b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (*.f64 (*.f64 w w) r) (*.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) r)))
7.3b
(-.f64 (/.f64 (/.f64 2 r) r) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
7.8b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
▶2.0b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 (*.f64 r w) w) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
11.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
13.5b
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
24.1b
(-.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
11.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 w (*.f64 w (*.f64 r (fma.f64 v -1/4 3/8)))) (-.f64 1 v)) 3/2))
25.2b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
7.5b
(-.f64 (/.f64 (sqrt.f64 2) (/.f64 (*.f64 r r) (sqrt.f64 2))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
21.4b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (*.f64 (*.f64 w w) (*.f64 r r)) 1/4 3/2))
7.4b
(-.f64 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (sqrt.f64 (/.f64 2 (*.f64 r r)))) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
19.9b
(-.f64 (/.f64 2 (*.f64 r r)) (*.f64 (*.f64 (*.f64 w w) r) (*.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) r)))
▶7.3b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
13.5b
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
✓0.0b
(*.f64 2 (atan.f64 (-.f64 (fma.f64 (*.f64 x x) 1/2 1) x)))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
▶0.0b
(*.f64 2 (atan.f64 (-.f64 (fma.f64 (*.f64 x x) 1/2 1) x)))
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
0.0b
(*.f64 2 (atan.f64 (-.f64 (fma.f64 (*.f64 x x) 1/2 1) x)))
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 1324359 to 856781 computations (35.3% saved)

analyze39.4s (12.9%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.4%27%46.6%8
29.4%22.8%47.8%9
31.7%19.7%48.6%10
33.3%17.5%49.2%11
35.7%14.6%49.7%12
40.5%9.1%50.4%13
41.1%8.2%50.7%14
Compiler

Compiled 1238 to 853 computations (31.1% saved)

regimes29.7s (9.8%)

Counts
2918 → 46
Compiler

Compiled 581214 to 372670 computations (35.9% saved)

simplify23.8s (7.8%)

Algorithm
152×egg-herbie
Rules
51024×fma-def_binary64
43014×fma-neg_binary64
27792×times-frac_binary64
21965×distribute-rgt-in_binary64
20619×associate-*l*_binary64
Counts
15585 → 16500

rewrite5.3s (1.7%)

Algorithm
86×rewrite-expression-head
Rules
7020×times-frac_binary64
6935×*-un-lft-identity_binary64
6072×add-sqr-sqrt_binary64
4478×add-cube-cbrt_binary64
2227×prod-diff_binary64
Counts
229 → 10458
Calls

223 calls:

77.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
70.0ms
(*.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (sqrt.f64 (hypot.f64 d c))))
68.0ms
(+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))
63.0ms
(+.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6))
59.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))

localize1.2s (0.4%)

bsearch611.0ms (0.2%)

Compiler

Compiled 29 to 21 computations (27.6% saved)

end81.0ms (0%)

Compiler

Compiled 909 to 593 computations (34.8% saved)

Profiling

Loading profile data...