Date:Saturday, July 24th, 2021
Commit:2cc4f5a4 on separate-reprs
Hostname:warfa with Racket 8.1
Seed:2021205
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 3.0min)

sample51.8s (29.2%)

Algorithm
69×intervals
Results
17.3s231178×body128valid
6.2s14964×body1024valid
3.9s6163×body2048valid
2.5s14576×body128invalid
2.1s200×body8192exit
2.1s82761×pre128true
1.7s7381×body512valid
1.7s11925×body256valid
414.0ms837×body4096valid
152.0ms216×body1024invalid
106.0ms249×body512invalid
105.0ms1741×body128nan
37.0ms158×body256invalid
21.0ms223×body128overflowed
16.0ms17×body2048invalid
7.0ms173×pre128false
Compiler

Compiled 9563 to 6350 computations (33.6% saved)

regimes34.3s (19.4%)

Compiler

Compiled 715514 to 483452 computations (32.4% saved)

analyze33.1s (18.7%)

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.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.7%14
Compiler

Compiled 1146 to 786 computations (31.4% saved)

simplify18.0s (10.2%)

Algorithm
166×egg-herbie
Rules
34558×distribute-rgt-in_binary64
27190×times-frac_binary64
25402×associate-*l*_binary64
22993×distribute-lft-in_binary64
22018×cancel-sign-sub-inv_binary64
Counts
14149 → 10920

rewrite17.9s (10.1%)

Algorithm
100×rewrite-expression-head
Rules
6618×times-frac_binary64
5886×*-un-lft-identity_binary64
5250×add-sqr-sqrt_binary64
3464×add-cube-cbrt_binary64
1580×add-exp-log_binary64
Counts
277 → 10623
Calls

223 calls:

100.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
66.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
65.0ms
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) 2)))
54.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
49.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
Compiler

Compiled 384288 to 228903 computations (40.4% saved)

series10.8s (6.1%)

Counts
277 → 3493
Calls

223 calls:

465.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))
350.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)))
316.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 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
303.0ms
(+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
256.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
Compiler

Compiled 208981 to 148035 computations (29.2% saved)

prune9.3s (5.2%)

Counts
11435 → 667
Alt Table
StatusErrorProgram
36.1b
(/.f64 1 (neg.f64 (/.f64 d a)))
24.4b
(/.f64 1 (/.f64 (+.f64 (*.f64 d d) (*.f64 c c)) (-.f64 (*.f64 c b) (*.f64 a d))))
41.1b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))))
31.7b
(-.f64 (/.f64 b c) (/.f64 a (/.f64 c (/.f64 d c))))
24.4b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
36.1b
(neg.f64 (/.f64 a d))
38.9b
(/.f64 1 (-.f64 (neg.f64 (/.f64 d a)) (/.f64 (*.f64 c b) (*.f64 a a))))
34.6b
(/.f64 1 (+.f64 (+.f64 (/.f64 c b) (/.f64 (*.f64 (*.f64 a d) (*.f64 a d)) (*.f64 c (pow.f64 b 3)))) (*.f64 (/.f64 d b) (+.f64 (/.f64 a b) (/.f64 d c)))))
30.7b
(-.f64 (/.f64 b c) (/.f64 (*.f64 a (/.f64 d c)) c))
36.1b
(/.f64 1 (neg.f64 (/.f64 d a)))
✓24.4b
(/.f64 1 (/.f64 (+.f64 (*.f64 d d) (*.f64 c c)) (-.f64 (*.f64 c b) (*.f64 a d))))
41.1b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))))
31.7b
(-.f64 (/.f64 b c) (/.f64 a (/.f64 c (/.f64 d c))))
✓24.4b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
36.1b
(neg.f64 (/.f64 a d))
38.9b
(/.f64 1 (-.f64 (neg.f64 (/.f64 d a)) (/.f64 (*.f64 c b) (*.f64 a a))))
34.6b
(/.f64 1 (+.f64 (+.f64 (/.f64 c b) (/.f64 (*.f64 (*.f64 a d) (*.f64 a d)) (*.f64 c (pow.f64 b 3)))) (*.f64 (/.f64 d b) (+.f64 (/.f64 a b) (/.f64 d c)))))
▶30.7b
(-.f64 (/.f64 b c) (/.f64 (*.f64 a (/.f64 d c)) c))
36.1b
(/.f64 1 (neg.f64 (/.f64 d a)))
✓24.4b
(/.f64 1 (/.f64 (+.f64 (*.f64 d d) (*.f64 c c)) (-.f64 (*.f64 c b) (*.f64 a d))))
37.8b
(/.f64 1 (+.f64 (/.f64 c b) (/.f64 (*.f64 a d) (*.f64 b b))))
41.1b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))))
✓24.4b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
36.1b
(neg.f64 (/.f64 a d))
45.5b
(/.f64 1 (-.f64 (neg.f64 (*.f64 (/.f64 c a) (+.f64 (/.f64 b a) (/.f64 c d)))) (+.f64 (/.f64 d a) (/.f64 (*.f64 (*.f64 b b) (*.f64 c c)) (*.f64 d (pow.f64 a 3))))))
38.9b
(/.f64 1 (-.f64 (neg.f64 (/.f64 d a)) (/.f64 (*.f64 c b) (*.f64 a a))))
34.6b
(/.f64 1 (+.f64 (+.f64 (/.f64 c b) (/.f64 (*.f64 (*.f64 a d) (*.f64 a d)) (*.f64 c (pow.f64 b 3)))) (*.f64 (/.f64 d b) (+.f64 (/.f64 a b) (/.f64 d c)))))
▶33.4b
(-.f64 (/.f64 b c) (/.f64 (*.f64 a d) (*.f64 c c)))
43.2b
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 c b) (*.f64 a d)) 3)) (+.f64 (*.f64 c c) (*.f64 d d)))
46.4b
(/.f64 (-.f64 (pow.f64 (*.f64 b c) 3) (pow.f64 (*.f64 a d) 3)) (*.f64 (+.f64 (*.f64 d d) (*.f64 c c)) (+.f64 (*.f64 (*.f64 c b) (*.f64 c b)) (*.f64 a (*.f64 d (+.f64 (*.f64 a d) (*.f64 c b)))))))
✓24.4b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
36.1b
(neg.f64 (/.f64 a d))
▶24.4b
(/.f64 1 (/.f64 (+.f64 (*.f64 d d) (*.f64 c c)) (-.f64 (*.f64 c b) (*.f64 a d))))
41.1b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) (+.f64 (*.f64 d d) (*.f64 c c)))))
33.4b
(-.f64 (/.f64 b c) (/.f64 (*.f64 a d) (*.f64 c c)))
▶24.4b
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
35.6b
(+.f64 (/.f64 b d) (/.f64 a (/.f64 (*.f64 d d) c)))
45.5b
(exp.f64 (log.f64 (+.f64 (/.f64 (*.f64 d b) (*.f64 c c)) (/.f64 a c))))
34.2b
(+.f64 (/.f64 a c) (/.f64 b (/.f64 (*.f64 c c) d)))
31.0b
(+.f64 (/.f64 a c) (*.f64 (/.f64 (*.f64 (cbrt.f64 b) (cbrt.f64 b)) c) (/.f64 (cbrt.f64 b) (/.f64 c d))))
31.4b
(+.f64 (/.f64 a c) (/.f64 (/.f64 b c) (/.f64 c d)))
30.9b
(+.f64 (/.f64 a c) (/.f64 1 (/.f64 c (/.f64 b (/.f64 c d)))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))))
24.9b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
25.3b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (*.f64 (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))) (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))))) (cbrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
37.4b
(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) 3)) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
48.5b
(cbrt.f64 (pow.f64 (+.f64 (/.f64 (*.f64 d b) (*.f64 c c)) (/.f64 a c)) 3))
35.6b
(+.f64 (/.f64 b d) (/.f64 a (/.f64 (*.f64 d d) c)))
▶34.2b
(+.f64 (/.f64 a c) (/.f64 b (/.f64 (*.f64 c c) d)))
47.3b
(/.f64 (neg.f64 b) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))))
✓24.9b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
✓25.3b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (*.f64 (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))) (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))))) (cbrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
37.4b
(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) 3)) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
35.6b
(+.f64 (/.f64 b d) (/.f64 a (/.f64 (*.f64 d d) c)))
34.2b
(+.f64 (/.f64 a c) (/.f64 b (/.f64 (*.f64 c c) d)))
47.3b
(/.f64 (neg.f64 b) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))))
✓24.9b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
▶25.3b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (*.f64 (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))) (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))))) (cbrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
37.4b
(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) 3)) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
25.3b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (*.f64 (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))) (cbrt.f64 (+.f64 (*.f64 d d) (*.f64 c c))))) (cbrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
33.7b
(+.f64 (/.f64 a c) (/.f64 (*.f64 d b) (*.f64 c c)))
25.0b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))))
25.4b
(*.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 d b) (*.f64 c a))) (cbrt.f64 (+.f64 (*.f64 d b) (*.f64 c a)))) (/.f64 (cbrt.f64 (+.f64 (*.f64 d b) (*.f64 c a))) (+.f64 (*.f64 d d) (*.f64 c c))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c)))))
▶24.9b
(/.f64 (/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (sqrt.f64 (+.f64 (*.f64 d d) (*.f64 c c)))) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d))))
35.3b
(+.f64 (/.f64 b d) (/.f64 (*.f64 c a) (*.f64 d d)))
39.1b
(/.f64 (*.f64 c a) (+.f64 (*.f64 d d) (*.f64 c c)))
39.2b
(/.f64 (*.f64 d b) (+.f64 (*.f64 d d) (*.f64 c c)))
▶24.9b
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
29.1b
(*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50))))) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))))) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))))) (-.f64 (cbrt.f64 (*.f64 (+.f64 100 (*.f64 i 50)) n)) (*.f64 50/3 (*.f64 (cbrt.f64 (*.f64 (+.f64 100 (*.f64 i 50)) n)) (/.f64 i (*.f64 (+.f64 100 (*.f64 i 50)) n)))))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
47.4b
(*.f64 (sqrt.f64 100) (*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)) 10))
42.0b
(/.f64 (-.f64 (*.f64 n (*.f64 n 10000)) (*.f64 2500 (*.f64 (-.f64 (*.f64 i n) i) (-.f64 (*.f64 i n) i)))) (+.f64 (*.f64 n 100) (*.f64 i (-.f64 50 (*.f64 50 n)))))
56.6b
(-.f64 (+.f64 (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) 50) (+.f64 (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (/.f64 (pow.f64 n 3) (*.f64 i i)))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i) 50))) (*.f64 100 (+.f64 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
48.4b
(*.f64 100 (*.f64 (/.f64 n i) (+.f64 (exp.f64 i) -1)))
46.5b
(*.f64 (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))) (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
28.0b
(+.f64 (*.f64 n 100) (*.f64 i (-.f64 (*.f64 50 n) 50)))
48.2b
(*.f64 100 (/.f64 (+.f64 (exp.f64 i) -1) (/.f64 i n)))
55.6b
(*.f64 100 (/.f64 (-.f64 (+.f64 (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2))) (+.f64 (*.f64 n (log.f64 i)) (+.f64 (/.f64 (*.f64 n n) i) (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)))))) (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i))))) (/.f64 i n)))
53.2b
(*.f64 100 (/.f64 (*.f64 n (log.f64 (/.f64 i n))) (/.f64 i n)))
47.4b
(/.f64 (*.f64 100 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1)) (/.f64 i n))
60.5b
(*.f64 100 (/.f64 (-.f64 (-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (*.f64 n n))) (+.f64 (exp.f64 i) (*.f64 1/3 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) (exp.f64 i))))) (+.f64 (*.f64 1/2 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i))) (+.f64 (*.f64 1/4 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (pow.f64 n 3))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 6)) (pow.f64 n 3))) (*.f64 1/6 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 5)) (pow.f64 n 3))))))) 1) (/.f64 i n)))
49.4b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 i (-.f64 (*.f64 n 50) 50)) 3) (pow.f64 (*.f64 100 n) 3)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 i (-.f64 (*.f64 50 n) 50))) (-.f64 (*.f64 (*.f64 n 100) (*.f64 n 100)) (*.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100)))))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
47.5b
(*.f64 100 (/.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i)) (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 (cbrt.f64 i) (cbrt.f64 n))))
59.1b
(-.f64 (+.f64 (*.f64 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i)) 100/3) (+.f64 (*.f64 (*.f64 (/.f64 n i) (exp.f64 i)) 100) (*.f64 (*.f64 (/.f64 (pow.f64 i 3) n) (exp.f64 i)) 25/2))) (+.f64 (*.f64 (/.f64 n i) 100) (*.f64 (*.f64 i (exp.f64 i)) 50)))
54.5b
(*.f64 100 (*.f64 (/.f64 (*.f64 n n) i) (log.f64 (/.f64 i n))))
47.6b
(*.f64 (*.f64 (-.f64 (cbrt.f64 (exp.f64 (+.f64 (log.f64 (+.f64 100 (*.f64 i 50))) (log.f64 n)))) (*.f64 50/3 (*.f64 (/.f64 i (*.f64 n (+.f64 100 (*.f64 i 50)))) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (+.f64 100 (*.f64 i 50))) (log.f64 n))))))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100)))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
48.2b
(*.f64 100 (/.f64 (+.f64 (exp.f64 i) -1) (/.f64 i n)))
42.0b
(/.f64 (-.f64 (*.f64 n (*.f64 n 10000)) (*.f64 2500 (*.f64 (-.f64 (*.f64 i n) i) (-.f64 (*.f64 i n) i)))) (+.f64 (*.f64 n 100) (*.f64 i (-.f64 50 (*.f64 50 n)))))
▶29.0b
(*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50))))) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))))) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100)))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
56.6b
(-.f64 (+.f64 (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) 50) (+.f64 (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (/.f64 (pow.f64 n 3) (*.f64 i i)))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i) 50))) (*.f64 100 (+.f64 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
48.4b
(*.f64 100 (*.f64 (/.f64 n i) (+.f64 (exp.f64 i) -1)))
46.5b
(*.f64 (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))) (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
✓28.0b
(+.f64 (*.f64 n 100) (*.f64 i (-.f64 (*.f64 50 n) 50)))
55.6b
(*.f64 100 (/.f64 (-.f64 (+.f64 (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2))) (+.f64 (*.f64 n (log.f64 i)) (+.f64 (/.f64 (*.f64 n n) i) (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)))))) (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i))))) (/.f64 i n)))
53.2b
(*.f64 100 (/.f64 (*.f64 n (log.f64 (/.f64 i n))) (/.f64 i n)))
47.4b
(*.f64 (sqrt.f64 100) (*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)) 10))
47.4b
(/.f64 (*.f64 100 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1)) (/.f64 i n))
60.5b
(*.f64 100 (/.f64 (-.f64 (-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (*.f64 n n))) (+.f64 (exp.f64 i) (*.f64 1/3 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) (exp.f64 i))))) (+.f64 (*.f64 1/2 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i))) (+.f64 (*.f64 1/4 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (pow.f64 n 3))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 6)) (pow.f64 n 3))) (*.f64 1/6 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 5)) (pow.f64 n 3))))))) 1) (/.f64 i n)))
49.4b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 100 n) (*.f64 i (-.f64 (*.f64 n 50) 50)))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 i (-.f64 (*.f64 n 50) 50)) 3) (pow.f64 (*.f64 100 n) 3)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 i (-.f64 (*.f64 50 n) 50))) (-.f64 (*.f64 (*.f64 n 100) (*.f64 n 100)) (*.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100)))))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
47.5b
(*.f64 100 (/.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i)) (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 (cbrt.f64 i) (cbrt.f64 n))))
59.1b
(-.f64 (+.f64 (*.f64 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i)) 100/3) (+.f64 (*.f64 (*.f64 (/.f64 n i) (exp.f64 i)) 100) (*.f64 (*.f64 (/.f64 (pow.f64 i 3) n) (exp.f64 i)) 25/2))) (+.f64 (*.f64 (/.f64 n i) 100) (*.f64 (*.f64 i (exp.f64 i)) 50)))
54.5b
(*.f64 100 (*.f64 (/.f64 (*.f64 n n) i) (log.f64 (/.f64 i n))))
42.0b
(/.f64 (-.f64 (*.f64 n (*.f64 n 10000)) (*.f64 2500 (*.f64 (-.f64 (*.f64 i n) i) (-.f64 (*.f64 i n) i)))) (+.f64 (*.f64 n 100) (*.f64 i (-.f64 50 (*.f64 50 n)))))
56.6b
(-.f64 (+.f64 (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) 50) (+.f64 (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (/.f64 (pow.f64 n 3) (*.f64 i i)))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i) 50))) (*.f64 100 (+.f64 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
48.4b
(*.f64 100 (*.f64 (/.f64 n i) (+.f64 (exp.f64 i) -1)))
46.5b
(*.f64 (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))) (sqrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
✓28.0b
(+.f64 (*.f64 n 100) (*.f64 i (-.f64 (*.f64 50 n) 50)))
▶28.8b
(*.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100)))) (cbrt.f64 (+.f64 (*.f64 i (-.f64 (*.f64 50 n) 50)) (*.f64 n 100))))
54.5b
(*.f64 100 (*.f64 (/.f64 (*.f64 n n) i) (log.f64 (/.f64 i n))))
48.2b
(*.f64 100 (/.f64 (+.f64 (exp.f64 i) -1) (/.f64 i n)))
55.6b
(*.f64 100 (/.f64 (-.f64 (+.f64 (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2))) (+.f64 (*.f64 n (log.f64 i)) (+.f64 (/.f64 (*.f64 n n) i) (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)))))) (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i))))) (/.f64 i n)))
53.2b
(*.f64 100 (/.f64 (*.f64 n (log.f64 (/.f64 i n))) (/.f64 i n)))
47.4b
(*.f64 (sqrt.f64 100) (*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)) 10))
47.4b
(/.f64 (*.f64 100 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1)) (/.f64 i n))
60.5b
(*.f64 100 (/.f64 (-.f64 (-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (*.f64 n n))) (+.f64 (exp.f64 i) (*.f64 1/3 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) (exp.f64 i))))) (+.f64 (*.f64 1/2 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i))) (+.f64 (*.f64 1/4 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (pow.f64 n 3))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 6)) (pow.f64 n 3))) (*.f64 1/6 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 5)) (pow.f64 n 3))))))) 1) (/.f64 i n)))
47.5b
(*.f64 100 (/.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i)) (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 (cbrt.f64 i) (cbrt.f64 n))))
59.1b
(-.f64 (+.f64 (*.f64 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i)) 100/3) (+.f64 (*.f64 (*.f64 (/.f64 n i) (exp.f64 i)) 100) (*.f64 (*.f64 (/.f64 (pow.f64 i 3) n) (exp.f64 i)) 25/2))) (+.f64 (*.f64 (/.f64 n i) 100) (*.f64 (*.f64 i (exp.f64 i)) 50)))
56.6b
(-.f64 (+.f64 (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) 50) (+.f64 (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (/.f64 (pow.f64 n 3) (*.f64 i i)))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i) 50))) (*.f64 100 (+.f64 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
48.4b
(*.f64 100 (*.f64 (/.f64 n i) (+.f64 (exp.f64 i) -1)))
48.2b
(*.f64 100 (/.f64 (+.f64 (exp.f64 i) -1) (/.f64 i n)))
55.6b
(*.f64 100 (/.f64 (-.f64 (+.f64 (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2))) (+.f64 (*.f64 n (log.f64 i)) (+.f64 (/.f64 (*.f64 n n) i) (*.f64 1/2 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)))))) (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i))))) (/.f64 i n)))
53.2b
(*.f64 100 (/.f64 (*.f64 n (log.f64 (/.f64 i n))) (/.f64 i n)))
47.4b
(*.f64 (sqrt.f64 100) (*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)) 10))
47.4b
(/.f64 (*.f64 100 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1)) (/.f64 i n))
60.5b
(*.f64 100 (/.f64 (-.f64 (-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (*.f64 n n))) (+.f64 (exp.f64 i) (*.f64 1/3 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) (exp.f64 i))))) (+.f64 (*.f64 1/2 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i))) (+.f64 (*.f64 1/4 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 4)) (pow.f64 n 3))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 6)) (pow.f64 n 3))) (*.f64 1/6 (/.f64 (*.f64 (exp.f64 i) (pow.f64 i 5)) (pow.f64 n 3))))))) 1) (/.f64 i n)))
47.5b
(*.f64 100 (/.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i)) (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 (cbrt.f64 i) (cbrt.f64 n))))
59.1b
(-.f64 (+.f64 (*.f64 (*.f64 (/.f64 (*.f64 i i) n) (exp.f64 i)) 100/3) (+.f64 (*.f64 (*.f64 (/.f64 n i) (exp.f64 i)) 100) (*.f64 (*.f64 (/.f64 (pow.f64 i 3) n) (exp.f64 i)) 25/2))) (+.f64 (*.f64 (/.f64 n i) 100) (*.f64 (*.f64 i (exp.f64 i)) 50)))
▶28.0b
(+.f64 (*.f64 n 100) (*.f64 i (-.f64 (*.f64 50 n) 50)))
54.5b
(*.f64 100 (*.f64 (/.f64 (*.f64 n n) i) (log.f64 (/.f64 i n))))
▶47.4b
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
0b
(*.f64 (+.f64 b a) (-.f64 a b))
▶0b
(*.f64 (+.f64 b a) (-.f64 a b))
▶0.0b
(-.f64 (*.f64 a a) (*.f64 b b))
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 a (+.f64 d b))))))
0.5b
(+.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 d e) (+.f64 d e)) (*.f64 c c)) (-.f64 (+.f64 d e) c)) b) a)
0.4b
(+.f64 (+.f64 (+.f64 e (+.f64 c d)) b) a)
0.7b
(+.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 d (+.f64 b e))) 3)) a)
0.2b
(+.f64 (+.f64 e c) (+.f64 (+.f64 d b) a))
0.6b
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a))) 3))
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 a (+.f64 d b))))))
0.5b
(+.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 d e) (+.f64 d e)) (*.f64 c c)) (-.f64 (+.f64 d e) c)) b) a)
▶0.4b
(+.f64 (+.f64 (+.f64 e (+.f64 c d)) b) a)
0.7b
(+.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 d (+.f64 b e))) 3)) a)
✓0.2b
(+.f64 (+.f64 e c) (+.f64 (+.f64 d b) a))
0.6b
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a))) 3))
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 a (+.f64 d b))))))
0.5b
(+.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 d e) (+.f64 d e)) (*.f64 c c)) (-.f64 (+.f64 d e) c)) b) a)
0.4b
(+.f64 (+.f64 (+.f64 e (+.f64 c d)) b) a)
0.7b
(+.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 d (+.f64 b e))) 3)) a)
▶0.2b
(+.f64 (+.f64 e c) (+.f64 (+.f64 d b) a))
0.6b
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a))) 3))
0.7b
(+.f64 (exp.f64 (log.f64 (+.f64 c (+.f64 d (+.f64 b e))))) a)
0.5b
(+.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 d e) (+.f64 d e)) (*.f64 c c)) (-.f64 (+.f64 d e) c)) b) a)
0.4b
(+.f64 (+.f64 (+.f64 e (+.f64 c d)) b) a)
0.7b
(+.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 d (+.f64 b e))) 3)) a)
0.4b
(+.f64 (log.f64 (exp.f64 (+.f64 c (+.f64 d (+.f64 b e))))) a)
▶0.3b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
1.1b
(+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 c (+.f64 d e))) (cbrt.f64 (+.f64 c (+.f64 d e)))) (cbrt.f64 (+.f64 c (+.f64 d e)))) b) a)
0.6b
(*.f64 (sqrt.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))) (sqrt.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))))
0.6b
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a))) 3))
0.8b
(exp.f64 (log.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))))
▶0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
0b
(+.f64 x (*.f64 x x))
▶0b
(+.f64 x (*.f64 x x))
44.3b
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
0.4b
(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6)) 1)
✓44.3b
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
✓0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
▶0.4b
(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) 4) (pow.f64 (sqrt.f64 x) 6)) 1)
▶44.3b
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
51.8b
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
✓0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
▶0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
0.0b
(*.f64 a (+.f64 (+.f64 b c) d))
7.2b
(/.f64 (*.f64 a (-.f64 (*.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
0.0b
(+.f64 (*.f64 a (+.f64 c b)) (*.f64 a d))
✓0.0b
(*.f64 a (+.f64 (+.f64 b c) d))
▶7.2b
(/.f64 (*.f64 a (-.f64 (*.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
✓0.0b
(+.f64 (*.f64 a (+.f64 c b)) (*.f64 a d))
✓0.0b
(*.f64 a (+.f64 (+.f64 b c) d))
7.2b
(/.f64 (*.f64 a (-.f64 (*.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
▶0.0b
(+.f64 (*.f64 a (+.f64 c b)) (*.f64 a d))
▶0.0b
(*.f64 a (+.f64 (+.f64 b c) d))
3.1b
(*.f64 (+.f64 c (/.f64 (-.f64 (*.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 (+.f64 b d) (+.f64 b d))) (*.f64 (*.f64 a a) (*.f64 a a))) (*.f64 (+.f64 d (-.f64 b a)) (+.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))))) 2)
2.7b
(*.f64 (+.f64 c (/.f64 (+.f64 (*.f64 b (+.f64 b d)) (-.f64 (*.f64 d (+.f64 d b)) (*.f64 a a))) (-.f64 (+.f64 b d) a))) 2)
3.4b
(*.f64 (+.f64 c (+.f64 (+.f64 (/.f64 (*.f64 (*.f64 a a) (pow.f64 b 3)) (pow.f64 (-.f64 d a) 4)) (+.f64 (/.f64 (*.f64 (*.f64 d d) (*.f64 b b)) (pow.f64 (-.f64 d a) 3)) (+.f64 (/.f64 (*.f64 b (*.f64 a a)) (pow.f64 (-.f64 d a) 2)) (+.f64 (/.f64 (*.f64 d d) (-.f64 d a)) (*.f64 2 (+.f64 (/.f64 (*.f64 d b) (-.f64 d a)) (/.f64 d (pow.f64 (/.f64 (-.f64 d a) b) 3)))))))) (-.f64 (/.f64 (*.f64 b b) (-.f64 d a)) (+.f64 (*.f64 2 (/.f64 (*.f64 d (*.f64 b b)) (pow.f64 (-.f64 d a) 2))) (+.f64 (/.f64 (*.f64 b (*.f64 b (*.f64 a a))) (pow.f64 (-.f64 d a) 3)) (+.f64 (/.f64 (*.f64 d (*.f64 d (pow.f64 b 3))) (pow.f64 (-.f64 d a) 4)) (+.f64 (/.f64 (*.f64 d (*.f64 d b)) (pow.f64 (-.f64 d a) 2)) (+.f64 (/.f64 (*.f64 a a) (-.f64 d a)) (/.f64 (pow.f64 b 3) (pow.f64 (-.f64 d a) 2)))))))))) 2)
4.0b
(*.f64 (+.f64 c (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 b d))) (cbrt.f64 (+.f64 a (+.f64 b d)))) (cbrt.f64 (+.f64 a (+.f64 b d))))) 2)
3.0b
(*.f64 (+.f64 c (/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 d b) 4) (pow.f64 a 4)) (+.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))) (-.f64 (+.f64 b d) a))) 2)
3.9b
(*.f64 (+.f64 c (/.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a))) (cbrt.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a)))) (cbrt.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a)))) (-.f64 (+.f64 b d) a))) 2)
2.8b
(*.f64 (+.f64 c (-.f64 (+.f64 (/.f64 (*.f64 d d) (-.f64 d a)) (+.f64 (*.f64 2 (/.f64 (*.f64 d b) (-.f64 d a))) (/.f64 (*.f64 b (*.f64 a a)) (pow.f64 (-.f64 d a) 2)))) (+.f64 (/.f64 (*.f64 d (*.f64 d b)) (pow.f64 (-.f64 d a) 2)) (/.f64 (*.f64 a a) (-.f64 d a))))) 2)
2.9b
(*.f64 (+.f64 a (+.f64 (+.f64 c b) d)) 2)
2.5b
(*.f64 (+.f64 c (/.f64 (+.f64 (*.f64 b (+.f64 (*.f64 d 2) b)) (-.f64 (*.f64 d d) (*.f64 a a))) (-.f64 (+.f64 b d) a))) 2)
4.8b
(*.f64 (+.f64 c (+.f64 (/.f64 (*.f64 b b) (+.f64 d b)) (+.f64 (/.f64 (*.f64 (*.f64 d d) a) (pow.f64 (+.f64 d b) 2)) (+.f64 (+.f64 (/.f64 (*.f64 d d) (+.f64 d b)) (/.f64 (*.f64 (*.f64 b b) a) (pow.f64 (+.f64 d b) 2))) (*.f64 2 (+.f64 (/.f64 (*.f64 (*.f64 d b) a) (pow.f64 (+.f64 d b) 2)) (/.f64 (*.f64 d b) (+.f64 d b)))))))) 2)
3.1b
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 a (+.f64 b d)) c)) 6)) (cbrt.f64 (+.f64 (+.f64 a (+.f64 b d)) c))) 2)
2.7b
(*.f64 (+.f64 c (*.f64 1 (+.f64 (+.f64 b d) a))) 2)
3.2b
(*.f64 (+.f64 c (*.f64 (/.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a)) (-.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 a 3))) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b d) a))))) 2)
3.0b
(*.f64 (+.f64 c (/.f64 (-.f64 (pow.f64 (*.f64 (+.f64 b d) (+.f64 b d)) 3) (pow.f64 (*.f64 a a) 3)) (*.f64 (+.f64 d (-.f64 b a)) (+.f64 (pow.f64 (+.f64 d b) 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))))))) 2)
4.1b
(*.f64 (+.f64 c (*.f64 (/.f64 (+.f64 a (+.f64 d b)) (*.f64 (cbrt.f64 (+.f64 d (-.f64 b a))) (cbrt.f64 (+.f64 d (-.f64 b a))))) (/.f64 (+.f64 d (-.f64 b a)) (cbrt.f64 (+.f64 d (-.f64 b a)))))) 2)
3.0b
(*.f64 (+.f64 c (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 a a)) (exp.f64 (log.f64 (+.f64 d (-.f64 b a)))))) 2)
4.0b
(*.f64 (+.f64 c (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 d (-.f64 b a))) (cbrt.f64 (+.f64 d (-.f64 b a))))) (/.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a)) (cbrt.f64 (+.f64 d (-.f64 b a)))))) 2)
▶2.9b
(*.f64 (+.f64 c (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 a a)) (-.f64 (+.f64 b d) a))) 2)
22.5b
(*.f64 (exp.f64 (log.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
3.2b
(*.f64 (+.f64 c (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 a 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) a))))) 2)
3.0b
(*.f64 (log.f64 (exp.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 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)
3.1b
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 a (+.f64 b d)) c)) 6)) (cbrt.f64 (+.f64 (+.f64 a (+.f64 b d)) c))) 2)
3.6b
(*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c (+.f64 d b)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 c (+.f64 d b)) (-.f64 (+.f64 c (+.f64 d b)) a)))) 2)
3.1b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 a a)) (-.f64 (+.f64 b d) a))) 3)) 2)
4.0b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 b d))) (cbrt.f64 (+.f64 a (+.f64 b d)))) (cbrt.f64 (+.f64 a (+.f64 b d))))) 3)) 2)
✓2.9b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 d b) a)) 3)) 2)
4.0b
(*.f64 (+.f64 c (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 b d))) (cbrt.f64 (+.f64 a (+.f64 b d)))) (cbrt.f64 (+.f64 a (+.f64 b d))))) 2)
3.0b
(*.f64 (+.f64 c (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b d)) 3))) 2)
2.9b
(*.f64 (+.f64 a (+.f64 (+.f64 c b) d)) 2)
3.1b
(*.f64 (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 a (+.f64 b d)) (+.f64 a (+.f64 b d)))) (-.f64 c (+.f64 a (+.f64 b d)))) 2)
3.1b
(*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b d)) 3) (pow.f64 c 3)) (+.f64 (*.f64 c c) (*.f64 (+.f64 a (+.f64 b d)) (-.f64 (+.f64 a (+.f64 b d)) c)))) 2)
3.3b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 a 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) a))))) 3)) 2)
2.9b
(*.f64 (+.f64 c (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 a a)) (-.f64 (+.f64 b d) a))) 2)
22.5b
(*.f64 (exp.f64 (log.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
3.2b
(*.f64 (+.f64 c (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 a 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) a))))) 2)
3.0b
(*.f64 (log.f64 (exp.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
4.0b
(*.f64 (+.f64 c (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 b d))) (cbrt.f64 (+.f64 a (+.f64 b d)))) (cbrt.f64 (+.f64 a (+.f64 b d))))) 2)
✓2.7b
(*.f64 (+.f64 c (+.f64 (+.f64 d b) a)) 2)
3.1b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a))) (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
▶2.9b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 d b) a)) 3)) 2)
3.0b
(*.f64 (+.f64 c (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b d)) 3))) 2)
2.9b
(*.f64 (+.f64 a (+.f64 (+.f64 c b) 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)
3.6b
(*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c (+.f64 d b)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 c (+.f64 d b)) (-.f64 (+.f64 c (+.f64 d b)) a)))) 2)
22.5b
(*.f64 (*.f64 (sqrt.f64 (+.f64 c (+.f64 (+.f64 d b) a))) (sqrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
3.1b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a))) (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) (cbrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
2.9b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 d b) a)) 3)) 2)
22.5b
(*.f64 (exp.f64 (log.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
3.0b
(*.f64 (log.f64 (exp.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
▶2.7b
(*.f64 (+.f64 c (+.f64 (+.f64 d b) a)) 2)
2.9b
(*.f64 (+.f64 a (+.f64 (+.f64 c b) 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)
3.6b
(*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c (+.f64 d b)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 c (+.f64 d b)) (-.f64 (+.f64 c (+.f64 d b)) a)))) 2)
22.5b
(*.f64 (*.f64 (sqrt.f64 (+.f64 c (+.f64 (+.f64 d b) a))) (sqrt.f64 (+.f64 c (+.f64 (+.f64 d b) a)))) 2)
▶3.8b
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
19.3b
(+.f64 -1 (*.f64 2 (*.f64 (pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) 4) (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))))
18.1b
(log.f64 (exp.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))
38.9b
(+.f64 -1 (*.f64 2 (exp.f64 (*.f64 2 (log.f64 (/.f64 x y))))))
19.3b
(+.f64 -1 (*.f64 (sqrt.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2))) (sqrt.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2)))))
19.3b
(+.f64 -1 (*.f64 (*.f64 (cbrt.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2))) (cbrt.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2)))) (cbrt.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2)))))
20.3b
(+.f64 -1 (log.f64 (pow.f64 (exp.f64 (pow.f64 (/.f64 x y) 2)) 2)))
19.3b
(+.f64 -1 (exp.f64 (log.f64 (*.f64 2 (pow.f64 (/.f64 x y) 2)))))
20.6b
(+.f64 -1 (*.f64 2 (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (/.f64 x (cbrt.f64 y))))))
18.1b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
19.3b
(+.f64 -1 (*.f64 2 (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) y)) (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) y))))
46.7b
(-.f64 1 (*.f64 2 (/.f64 (*.f64 y y) (*.f64 x x))))
✓18.1b
(log.f64 (exp.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))
38.9b
(+.f64 -1 (*.f64 2 (exp.f64 (*.f64 2 (log.f64 (/.f64 x y))))))
✓18.1b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
19.5b
(+.f64 -1 (*.f64 2 (/.f64 x (/.f64 y (/.f64 x y)))))
▶19.3b
(+.f64 -1 (*.f64 2 (*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))))
46.7b
(-.f64 1 (*.f64 2 (/.f64 (*.f64 y y) (*.f64 x x))))
▶24.1b
(+.f64 -1 (*.f64 2 (/.f64 (*.f64 x x) (*.f64 y y))))
63.3b
(log.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))) (-.f64 (*.f64 x x) (*.f64 y y))))
✓18.1b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
✓18.1b
(log.f64 (exp.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))
46.7b
(-.f64 1 (*.f64 2 (/.f64 (*.f64 y y) (*.f64 x x))))
24.1b
(+.f64 -1 (*.f64 2 (/.f64 (*.f64 x x) (*.f64 y y))))
✓18.1b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
▶18.1b
(log.f64 (exp.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))
46.7b
(-.f64 1 (*.f64 2 (/.f64 (*.f64 y y) (*.f64 x x))))
▶18.1b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (/.f64 (+.f64 -1 (pow.f64 (sqrt.f64 (exp.f64 x)) 3)) (+.f64 (exp.f64 x) (+.f64 (sqrt.f64 (exp.f64 x)) 1))) x))
39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) 1) 3)) x))
21.6b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (+.f64 -1 (sqrt.f64 (exp.f64 x))) x))
39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (/.f64 (+.f64 -1 (pow.f64 (sqrt.f64 (exp.f64 x)) 3)) (+.f64 (exp.f64 x) (+.f64 (sqrt.f64 (exp.f64 x)) 1))) x))
▶39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) 1) 3)) x))
✓21.6b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
✓39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (+.f64 -1 (sqrt.f64 (exp.f64 x))) x))
✓21.6b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
▶39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (+.f64 -1 (sqrt.f64 (exp.f64 x))) x))
▶21.6b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
39.8b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) (/.f64 (+.f64 -1 (sqrt.f64 (exp.f64 x))) x))
▶39.8b
(/.f64 (-.f64 (exp.f64 x) 1) x)
0b
38/81
▶0b
38/81
33.8b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
33.5b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (/.f64 1/2 a))
34.0b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
33.6b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) 2)))
43.7b
(/.f64 (neg.f64 b) a)
39.4b
(/.f64 1 (/.f64 (neg.f64 b) c))
48.6b
(/.f64 (*.f64 1/2 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b)))) (*.f64 a (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))
39.3b
(neg.f64 (/.f64 c b))
45.7b
(/.f64 (/.f64 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (*.f64 a 2))
46.0b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) (*.f64 a 2))
43.8b
(*.f64 (*.f64 b -2) (/.f64 1/2 a))
▶33.8b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
✓33.5b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (/.f64 1/2 a))
34.0b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
✓33.6b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) 2)))
43.7b
(/.f64 (neg.f64 b) a)
39.4b
(/.f64 1 (/.f64 (neg.f64 b) c))
48.6b
(/.f64 (*.f64 1/2 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b)))) (*.f64 a (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))
39.3b
(neg.f64 (/.f64 c b))
45.7b
(/.f64 (/.f64 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (*.f64 a 2))
46.0b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) (*.f64 a 2))
43.8b
(*.f64 (*.f64 b -2) (/.f64 1/2 a))
33.8b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
✓33.5b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (/.f64 1/2 a))
34.0b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
▶33.6b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) 2)))
43.7b
(/.f64 (neg.f64 b) a)
48.6b
(/.f64 (*.f64 1/2 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b)))) (*.f64 a (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))
39.3b
(neg.f64 (/.f64 c b))
45.7b
(/.f64 (/.f64 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (*.f64 a 2))
46.0b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) (*.f64 a 2))
43.8b
(*.f64 (*.f64 b -2) (/.f64 1/2 a))
34.0b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) (*.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) (*.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) (*.f64 a 2))))
39.3b
(neg.f64 (/.f64 c b))
33.8b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
▶33.5b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (/.f64 1/2 a))
34.0b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b)) 2)))
33.6b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))) b) 2)))
43.7b
(/.f64 (neg.f64 b) a)
45.7b
(/.f64 (/.f64 (-.f64 (*.f64 b b) (+.f64 (*.f64 4 (*.f64 c a)) (*.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (*.f64 a 2))
46.0b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) (*.f64 a 2))
▶33.5b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
36.3b
(*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))) a))
42.3b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
30.0b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))))
44.5b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
40.8b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (*.f64 b 2)))))
45.7b
(*.f64 -1/2 (*.f64 2 (+.f64 (/.f64 c b) (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))))
44.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
33.5b
(*.f64 -1/2 (*.f64 (*.f64 (*.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) a)))
44.1b
(*.f64 -1/2 (/.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) a))
35.4b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (/.f64 (*.f64 4 (*.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))))))
36.3b
(*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))) a))
42.3b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
✓30.0b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))))
44.5b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
40.8b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (*.f64 b 2)))))
45.7b
(*.f64 -1/2 (*.f64 2 (+.f64 (/.f64 c b) (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))))
44.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
▶33.5b
(*.f64 -1/2 (*.f64 (*.f64 (*.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) a)))
44.1b
(*.f64 -1/2 (/.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) a))
35.4b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (/.f64 (*.f64 4 (*.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))))))
35.4b
(*.f64 -1/2 (/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (/.f64 (*.f64 4 (*.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))) a))
36.3b
(*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))) a))
33.5b
(*.f64 -1/2 (*.f64 (*.f64 (*.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) a)))
46.4b
(*.f64 -1/2 (/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (*.f64 b 2)) a))
▶30.0b
(*.f64 -1/2 (*.f64 4 (*.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))))
44.5b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
45.7b
(*.f64 -1/2 (*.f64 2 (+.f64 (/.f64 c b) (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))))
44.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
45.1b
(*.f64 -1/2 (*.f64 -4 (/.f64 c (sqrt.f64 (*.f64 a (*.f64 c -4))))))
44.1b
(*.f64 -1/2 (/.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) a))
30.5b
(*.f64 -1/2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 (*.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) 1)) (cbrt.f64 (*.f64 (/.f64 (*.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) 1))) (cbrt.f64 (*.f64 (/.f64 (*.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) 1))))
48.3b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) (sqrt.f64 a)) (sqrt.f64 a)))
48.5b
(*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) a) 3)))
44.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
34.0b
(*.f64 -1/2 (/.f64 (*.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))) (/.f64 a (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))))
49.3b
(*.f64 -1/2 (/.f64 (*.f64 2 (+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) a))
▶32.5b
(*.f64 -1/2 (/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) a))
44.5b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
34.2b
(*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))) (cbrt.f64 a))))
36.3b
(*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))) a))
45.7b
(*.f64 -1/2 (*.f64 2 (+.f64 (/.f64 c b) (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))))
33.8b
(*.f64 -1/2 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (/.f64 a (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a)))))))))
46.2b
(*.f64 -1/2 (/.f64 (-.f64 (*.f64 b 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 a (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))))
44.1b
(*.f64 -1/2 (/.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) a))
59.1b
(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
▶33.5b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a))
0.3b
(*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2)))
0.5b
(cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6)))
0.4b
(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))
0.4b
(*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
0.6b
(*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))))
0.6b
(*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)))
✓0.3b
(*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2)))
0.5b
(cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6)))
✓0.4b
(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))
▶0.4b
(*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
0.6b
(*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))))
0.6b
(*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)))
▶0.3b
(*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2)))
0.5b
(cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6)))
✓0.4b
(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))
0.4b
(*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
0.6b
(*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)))
0.5b
(cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6)))
▶0.4b
(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))
0.4b
(*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
0.6b
(*.f64 t (*.f64 (sqrt.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)) (sqrt.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t))))
0.6b
(*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)))
0.5b
(*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2)))
1.3b
(*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) (cbrt.f64 t)))
0.6b
(*.f64 (sqrt.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))) (sqrt.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (*.f64 t t))))
▶0.4b
(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
64.0b
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)
▶64.0b
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)
54.4b
(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
19.1b
(+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x (+.f64 1/3 (*.f64 x -1/4))) -1/2)))
41.7b
(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x 1)) 3)) 3)) 3))
41.5b
(log.f64 (+.f64 1 x))
54.4b
(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
✓19.1b
(+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x (+.f64 1/3 (*.f64 x -1/4))) -1/2)))
▶41.6b
(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x 1)) 3)) 3))
✓41.5b
(log.f64 (+.f64 1 x))
54.4b
(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
✓19.1b
(+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x (+.f64 1/3 (*.f64 x -1/4))) -1/2)))
▶41.6b
(cbrt.f64 (pow.f64 (log.f64 (+.f64 x 1)) 3))
✓41.5b
(log.f64 (+.f64 1 x))
54.4b
(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
▶19.1b
(+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x (+.f64 1/3 (*.f64 x -1/4))) -1/2)))
41.6b
(cbrt.f64 (pow.f64 (log.f64 (+.f64 x 1)) 3))
✓41.5b
(log.f64 (+.f64 1 x))
▶41.5b
(log.f64 (+.f64 1 x))
48.4b
(-.f64 (fma.f64 x y z) (+.f64 z 1))
49.5b
(cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y z) (/.f64 (+.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (*.f64 x (-.f64 (*.f64 y (*.f64 x y)) y))))) 3))
49.3b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 (+.f64 z 1) (*.f64 x y))) 4)) (+.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y))))
48.7b
(cbrt.f64 (*.f64 (pow.f64 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))) 2) (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))))
62.0b
(neg.f64 z)
48.7b
(-.f64 (fma.f64 x y z) (cbrt.f64 (pow.f64 (+.f64 1 (*.f64 x y)) 3)))
62.5b
(cbrt.f64 (-.f64 (*.f64 (fma.f64 x y z) (+.f64 (*.f64 (*.f64 y 6) x) (*.f64 (*.f64 x y) (*.f64 (*.f64 x y) 3)))) (+.f64 (*.f64 3 (*.f64 (*.f64 x y) (+.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 1 (*.f64 x y))))) (pow.f64 (*.f64 x y) 3))))
49.7b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 z 1)) 4)) (+.f64 (fma.f64 x y z) (+.f64 z 1)))
48.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
50.1b
(-.f64 (fma.f64 x y z) (/.f64 (+.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (*.f64 x (-.f64 (*.f64 x (*.f64 y y)) y)))))
61.9b
(neg.f64 (*.f64 x y))
48.7b
(cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))) 2)) (cbrt.f64 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) 3))
49.8b
(cbrt.f64 (-.f64 (+.f64 (*.f64 6 (*.f64 y (*.f64 x (fma.f64 x y z)))) (+.f64 (pow.f64 (fma.f64 x y z) 3) (*.f64 (fma.f64 x y z) (+.f64 3 (*.f64 (*.f64 x y) (*.f64 (*.f64 x y) 3)))))) (+.f64 1 (+.f64 (pow.f64 (*.f64 x y) 3) (*.f64 3 (+.f64 (*.f64 (+.f64 1 (*.f64 x y)) (pow.f64 (fma.f64 x y z) 2)) (*.f64 (*.f64 x y) (+.f64 1 (*.f64 x y)))))))))
62.2b
(cbrt.f64 (-.f64 (*.f64 3 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (fma.f64 x y z) 1))) (pow.f64 (*.f64 x y) 3)))
62.3b
(cbrt.f64 (pow.f64 (neg.f64 (*.f64 x y)) 3))
62.0b
(neg.f64 z)
48.7b
(-.f64 (fma.f64 x y z) (cbrt.f64 (pow.f64 (+.f64 1 (*.f64 x y)) 3)))
▶48.7b
(cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))) 3))
49.7b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 z 1)) 4)) (+.f64 (fma.f64 x y z) (+.f64 z 1)))
✓48.4b
(-.f64 (fma.f64 x y z) (+.f64 z 1))
✓48.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
50.1b
(-.f64 (fma.f64 x y z) (/.f64 (+.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (*.f64 x (-.f64 (*.f64 x (*.f64 y y)) y)))))
49.3b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 (+.f64 z 1) (*.f64 x y))) 4)) (+.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y))))
61.9b
(neg.f64 (*.f64 x y))
62.0b
(neg.f64 z)
48.7b
(-.f64 (fma.f64 x y z) (cbrt.f64 (pow.f64 (+.f64 1 (*.f64 x y)) 3)))
▶48.4b
(-.f64 (fma.f64 x y z) (+.f64 z 1))
✓48.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
50.1b
(-.f64 (fma.f64 x y z) (/.f64 (+.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (*.f64 x (-.f64 (*.f64 x (*.f64 y y)) y)))))
49.3b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 (+.f64 z 1) (*.f64 x y))) 4)) (+.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y))))
61.9b
(neg.f64 (*.f64 x y))
48.7b
(cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))) 3))
48.4b
(-.f64 (fma.f64 x y z) (+.f64 z 1))
▶48.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
49.3b
(/.f64 (-.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 (+.f64 z 1) (*.f64 x y))) 4)) (+.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y))))
61.9b
(neg.f64 (*.f64 x y))
62.0b
(neg.f64 z)
▶47.4b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))
14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
▶0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))
✓14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
▶14.2b
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
32.5b
(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
✓14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
▶14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
52.0b
(+.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 2 (*.f64 y y)))
▶52.0b
(+.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 2 (*.f64 y y)))
▶52.0b
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
52.0b
(-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (neg.f64 2) (*.f64 y y)))
▶52.0b
(-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (neg.f64 2) (*.f64 y y)))
▶52.0b
(-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (neg.f64 2) (*.f64 y y)))
▶62.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))
0b
-54767/66192
▶0b
-54767/66192
0.0b
(/.f64 (+.f64 1 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
26.5b
(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (*.f64 4 t) (*.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t))))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
25.8b
(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
✓0.0b
(/.f64 (+.f64 1 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
▶26.5b
(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (*.f64 4 t) (*.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t))))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
✓25.8b
(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
✓0.0b
(/.f64 (+.f64 1 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
▶25.8b
(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
▶0.0b
(/.f64 (+.f64 1 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
0b
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
▶0b
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
0b
(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (*.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (*.f64 (neg.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))
▶0b
(-.f64 1 (/.f64 1 (+.f64 2 (+.f64 (*.f64 2 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (*.f64 (neg.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (cbrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))))))
▶0.0b
(-.f64 1 (/.f64 1 (+.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.4b
(/.f64 (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (*.f64 2 x) 2)) 2)
25.2b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (pow.f64 E.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
✓0.4b
(/.f64 (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (*.f64 2 x) 2)) 2)
▶25.2b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (pow.f64 E.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
▶0.4b
(/.f64 (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (*.f64 2 x) 2)) 2)
25.2b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (pow.f64 E.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
▶25.2b
(/.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.2b
(/.f64 (/.f64 (/.f64 PI.f64 2) (*.f64 a b)) (+.f64 a b))
12.0b
(*.f64 (/.f64 PI.f64 2) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 (*.f64 b b) (*.f64 a a))))
3.1b
(/.f64 1 (/.f64 b (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a)))
2.7b
(/.f64 (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a) b)
0.3b
(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 b a) (/.f64 PI.f64 2))) 1) (*.f64 a b))
0.3b
(/.f64 (*.f64 (/.f64 PI.f64 a) (/.f64 1/2 b)) (+.f64 a b))
0.2b
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 a b)) 1) (/.f64 1 (*.f64 b a)))
▶0.2b
(/.f64 (/.f64 (/.f64 PI.f64 2) (*.f64 a b)) (+.f64 a b))
12.0b
(*.f64 (/.f64 PI.f64 2) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 (*.f64 b b) (*.f64 a a))))
2.7b
(/.f64 (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a) b)
7.6b
(*.f64 (*.f64 (/.f64 PI.f64 (+.f64 a b)) (/.f64 1/2 (-.f64 b a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
3.1b
(/.f64 1 (/.f64 b (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a)))
0.3b
(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 b a) (/.f64 PI.f64 2))) 1) (*.f64 a b))
✓0.2b
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 a b)) 1) (/.f64 1 (*.f64 b a)))
2.7b
(/.f64 (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a) b)
7.6b
(*.f64 (*.f64 (/.f64 PI.f64 (+.f64 a b)) (/.f64 1/2 (-.f64 b a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
3.1b
(/.f64 1 (/.f64 b (/.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) a)))
12.0b
(*.f64 (/.f64 PI.f64 2) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 (*.f64 b b) (*.f64 a a))))
0.7b
(/.f64 (*.f64 (/.f64 PI.f64 2) 1) (*.f64 (+.f64 b a) (*.f64 b a)))
0.3b
(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 b a) (/.f64 PI.f64 2))) 1) (*.f64 a b))
▶0.2b
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 a b)) 1) (/.f64 1 (*.f64 b a)))
12.0b
(*.f64 (*.f64 PI.f64 (/.f64 1/2 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
0.3b
(*.f64 (/.f64 PI.f64 (+.f64 b a)) (*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 1/2 (-.f64 b a))))
0.3b
(*.f64 (/.f64 1 (+.f64 b a)) (*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 2) (-.f64 b a))))
12.0b
(+.f64 (/.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) a) (/.f64 (/.f64 (neg.f64 (/.f64 PI.f64 2)) b) (-.f64 (*.f64 b b) (*.f64 a a))))
12.0b
(*.f64 (/.f64 PI.f64 2) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 (*.f64 b b) (*.f64 a a))))
7.6b
(*.f64 (*.f64 (/.f64 PI.f64 (+.f64 a b)) (/.f64 1/2 (-.f64 b a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
▶0.2b
(/.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 a b)) 1) (*.f64 a b))
0.5b
(*.f64 (/.f64 (/.f64 1 (sqrt.f64 2)) (+.f64 b a)) (*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a))))
0.6b
(*.f64 (/.f64 (/.f64 (sqrt.f64 PI.f64) 1) (+.f64 b a)) (*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 (sqrt.f64 PI.f64) 2) (-.f64 b a))))
▶12.0b
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
12.0b
(*.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.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (cbrt.f64 (pow.f64 x 3))))
0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 1 x)))
0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (pow.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) 1))
32.4b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (pow.f64 x 3/2) (pow.f64 x 3/2))))
29.6b
(/.f64 (+.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 (pow.f64 x 6) -21603308600652055932446485287169/1298074214633706907132624082305024)) (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248)))
✓0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (cbrt.f64 (pow.f64 x 3))))
0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 1 x)))
▶0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (pow.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) 1))
32.4b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (pow.f64 x 3/2) (pow.f64 x 3/2))))
29.6b
(/.f64 (+.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 (pow.f64 x 6) -21603308600652055932446485287169/1298074214633706907132624082305024)) (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248)))
▶0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (cbrt.f64 (pow.f64 x 3))))
0.2b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))))
✓0.1b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))
32.4b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (pow.f64 x 3/2) (pow.f64 x 3/2))))
29.6b
(/.f64 (+.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 (pow.f64 x 6) -21603308600652055932446485287169/1298074214633706907132624082305024)) (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248)))
18.4b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))))
0.2b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))))
▶0.1b
(-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
✓0.1b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))
32.4b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (pow.f64 x 3/2) (pow.f64 x 3/2))))
29.6b
(/.f64 (+.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 (pow.f64 x 6) -21603308600652055932446485287169/1298074214633706907132624082305024)) (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248)))
▶0.1b
(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))
3.0b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
3.1b
(/.f64 (neg.f64 v) (+.f64 t1 (*.f64 u (+.f64 (/.f64 u t1) 2))))
20.4b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
1.5b
(/.f64 (/.f64 (neg.f64 v) (+.f64 1 (/.f64 u t1))) (+.f64 t1 u))
27.8b
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 (/.f64 t1 u)))
20.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (-.f64 -1 (pow.f64 (/.f64 u t1) 3)) (+.f64 1 (*.f64 (/.f64 u t1) (+.f64 -1 (/.f64 u t1))))))
21.3b
(/.f64 (cbrt.f64 (pow.f64 (neg.f64 (/.f64 v (+.f64 1 (/.f64 u t1)))) 3)) (+.f64 t1 u))
▶3.0b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
3.1b
(/.f64 (neg.f64 v) (+.f64 t1 (*.f64 u (+.f64 (/.f64 u t1) 2))))
20.4b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓1.5b
(/.f64 (/.f64 (neg.f64 v) (+.f64 1 (/.f64 u t1))) (+.f64 t1 u))
27.8b
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 (/.f64 t1 u)))
20.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (-.f64 -1 (pow.f64 (/.f64 u t1) 3)) (+.f64 1 (*.f64 (/.f64 u t1) (+.f64 -1 (/.f64 u t1))))))
21.3b
(/.f64 (cbrt.f64 (pow.f64 (neg.f64 (/.f64 v (+.f64 1 (/.f64 u t1)))) 3)) (+.f64 t1 u))
33.0b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 t1 u))) (/.f64 (/.f64 v (sqrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
▶1.5b
(/.f64 (/.f64 (neg.f64 v) (+.f64 1 (/.f64 u t1))) (+.f64 t1 u))
3.0b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
3.1b
(/.f64 (neg.f64 v) (+.f64 t1 (*.f64 u (+.f64 (/.f64 u t1) 2))))
20.4b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
27.8b
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 (/.f64 t1 u)))
20.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (-.f64 -1 (pow.f64 (/.f64 u t1) 3)) (+.f64 1 (*.f64 (/.f64 u t1) (+.f64 -1 (/.f64 u t1))))))
✓1.0b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
20.5b
(/.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (-.f64 -1 (pow.f64 (/.f64 u t1) 3)) (+.f64 1 (*.f64 (/.f64 u t1) (+.f64 -1 (/.f64 u t1))))))
3.0b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
3.1b
(/.f64 (neg.f64 v) (+.f64 t1 (*.f64 u (+.f64 (/.f64 u t1) 2))))
20.4b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
33.0b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 t1 u))) (/.f64 (/.f64 v (sqrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
▶1.0b
(*.f64 (/.f64 v (+.f64 t1 u)) (/.f64 -1 (+.f64 1 (/.f64 u t1))))
24.1b
(cbrt.f64 (pow.f64 (/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))) 3))
30.6b
(*.f64 (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 (sqrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
▶1.0b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
20.4b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
44.0b
(+.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 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.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)))))
0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 2)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
7.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 2 x1) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 1 (*.f64 x1 x1)) 2) (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2))))) (*.f64 -6 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1)))))) (*.f64 x1 (*.f64 x1 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1))))))) (*.f64 (*.f64 x1 (neg.f64 6)) 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.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
7.2b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 2 x1) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 1 (*.f64 x1 x1)) 2) (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2))))) (*.f64 -6 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1)))))) (*.f64 x1 (*.f64 x1 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1))))))) (*.f64 (*.f64 (*.f64 (neg.f64 (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (cbrt.f64 6)) 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)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
44.0b
(+.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 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.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)))))
✓0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 2)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
▶7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
44.0b
(+.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 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.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)))))
▶0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
7.1b
(+.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 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)))) -9) (+.f64 3 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))) (*.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)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.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)))))
10.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 x1 (*.f64 x2 x2)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (-.f64 (+.f64 (*.f64 18 (/.f64 (pow.f64 x1 5) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 x1 3) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 12 (/.f64 (pow.f64 x1 4) (+.f64 (*.f64 x1 x1) 1))) (+.f64 (*.f64 24 (/.f64 (*.f64 x2 (pow.f64 x1 3)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 8 (/.f64 (*.f64 x2 (*.f64 x1 x1)) (+.f64 (*.f64 x1 x1) 1))) (*.f64 6 (/.f64 (*.f64 x1 x1) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 (/.f64 (pow.f64 x1 3) (+.f64 (*.f64 x1 x1) 1)) 22) (+.f64 (*.f64 8 (/.f64 (*.f64 x2 (*.f64 x1 x1)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 6 (*.f64 x1 x1)) (*.f64 12 (+.f64 (*.f64 (/.f64 x2 (+.f64 (*.f64 x1 x1) 1)) x1) (/.f64 (pow.f64 x1 4) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))))))))) (+.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)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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.1b
(+.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 (*.f64 x1 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (sqrt.f64 (-.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)))))
16.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.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)))))
7.1b
(+.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 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)) (+.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)))))
44.0b
(+.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 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.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.1b
(+.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 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))) (*.f64 x1 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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 (+.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 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) 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.6b
(+.f64 x1 (+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1))))
▶0.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)) (*.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)))))
2.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (/.f64 (-.f64 3/8 (*.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 w r) w)))))
1.3b
(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
2.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (*.f64 (*.f64 w r) w)))))
4.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 r (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
0.4b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (*.f64 (*.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v))))))
13.2b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 -1/4 (*.f64 (*.f64 w r) (cbrt.f64 v))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
1.5b
(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
5.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 w (*.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
1.3b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
23.5b
(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
19.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 (*.f64 w w) (*.f64 (*.f64 r r) (-.f64 3/8 (*.f64 v 1/4)))) (-.f64 1 v)))
32.9b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (*.f64 (sqrt.f64 r) (*.f64 (cbrt.f64 w) (cbrt.f64 w)))) (/.f64 (sqrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w)))))
2.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (/.f64 (-.f64 3/8 (*.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 w r) w)))))
1.3b
(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
2.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (*.f64 (*.f64 w r) w)))))
4.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 r (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
▶0.4b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (*.f64 (*.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v))))))
13.2b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 -1/4 (*.f64 (*.f64 w r) (cbrt.f64 v))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
1.5b
(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
5.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 w (*.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
1.3b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
23.5b
(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
19.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 (*.f64 w w) (*.f64 (*.f64 r r) (-.f64 3/8 (*.f64 v 1/4)))) (-.f64 1 v)))
32.9b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (*.f64 (sqrt.f64 r) (*.f64 (cbrt.f64 w) (cbrt.f64 w)))) (/.f64 (sqrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w)))))
▶1.3b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
2.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (*.f64 (*.f64 w r) w)))))
5.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 w (*.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
4.7b
(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
1.3b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
34.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (sqrt.f64 r) (-.f64 1 v))) (/.f64 (sqrt.f64 r) (/.f64 1 (*.f64 (*.f64 w r) w)))))
4.5b
(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
2.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (/.f64 (-.f64 3/8 (*.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 w r) w)))))
23.5b
(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
19.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 (*.f64 w w) (*.f64 (*.f64 r r) (-.f64 3/8 (*.f64 v 1/4)))) (-.f64 1 v)))
▶4.5b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 w r) w)))))
8.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 r (/.f64 r (/.f64 (-.f64 1 v) (*.f64 w w))))))
7.7b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (/.f64 (-.f64 3/8 (*.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 r (*.f64 w w))))))
7.7b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (-.f64 1 v))) (*.f64 r (*.f64 w w))))
8.2b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 w w) r)) (cbrt.f64 (*.f64 (*.f64 w w) r))) (cbrt.f64 (*.f64 (*.f64 w w) r)))))))
40.3b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (+.f64 1 (sqrt.f64 v)))) (/.f64 r (/.f64 (-.f64 1 (sqrt.f64 v)) (*.f64 w w)))))
19.8b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (/.f64 (*.f64 (*.f64 w w) (*.f64 (*.f64 r r) (-.f64 3/8 (*.f64 v 1/4)))) (-.f64 1 v)))
10.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)
▶8.0b
(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))))
0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))))
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 283582 to 168309 computations (40.6% saved)

localize1.1s (0.6%)

bsearch803.0ms (0.5%)

Compiler

Compiled 48 to 32 computations (33.3% saved)

end64.0ms (0%)

Compiler

Compiled 1232 to 769 computations (37.6% saved)

Profiling

Loading profile data...