Details

Time bar (total: 2.5min)

analyze982.0ms (0.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%62.4%12.6%5
25%56.2%18.8%6
28.1%46.8%25.1%7
28.1%43.7%28.2%8
29.7%34.3%36%9
29.7%31.6%38.7%10
31.1%25.8%43.1%11
31.1%24.6%44.3%12
31.5%21.9%46.6%13
31.5%21%47.5%14
Compiler

Compiled 16 to 12 computations (25% saved)

sample9.0s (6%)

Results
2.5s2763×body1024valid
2.0s1707×body1024invalid
1.8s1870×body2048valid
881.0ms999×body512invalid
716.0ms1206×body512valid
357.0ms1834×body128valid
240.0ms541×body256invalid
223.0ms583×body256valid
207.0ms1125×body128invalid
12.0ms7×body2048invalid
Compiler

Compiled 47 to 35 computations (25.5% saved)

simplify58.0ms (0%)

Algorithm
1×egg-herbie
Rules
436×unswap-sqr_binary64
377×fma-def_binary64
359×sub-neg_binary64
289×unsub-neg_binary64
253×distribute-rgt-neg-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
12019
24119
310219
424819
579019
6211019
7440519
8504819

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
30.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶30.6b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
Compiler

Compiled 45 to 33 computations (26.7% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(pow.f64 x (/.f64 1 n))
✓0.0b
(pow.f64 (+.f64 x 1) (/.f64 1 n))
✓2.1b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

series92.0ms (0.1%)

Counts
3 → 72
Calls

3 calls:

39.0ms
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
38.0ms
(pow.f64 x (/.f64 1 n))
15.0ms
(pow.f64 (+.f64 x 1) (/.f64 1 n))

rewrite35.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
78×*-un-lft-identity_binary64
76×unpow-prod-down_binary64
65×add-sqr-sqrt_binary64
56×prod-diff_binary64
53×add-cube-cbrt_binary64
Counts
3 → 155
Calls

3 calls:

9.0ms
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
4.0ms
(pow.f64 (+.f64 x 1) (/.f64 1 n))
2.0ms
(pow.f64 x (/.f64 1 n))

simplify197.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
580×cancel-sign-sub-inv_binary64
422×fma-neg_binary64
284×sub-neg_binary64
202×fma-def_binary64
194×+-commutative_binary64
Counts
227 → 269
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03959164
19647582
233115432
349145432
449745432

prune377.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2654269
Fresh000
Picked101
Done000
Total2664270
Error
0.5b
Counts
270 → 4
Alt Table
StatusErrorProgram
30.5b
(+.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 0)
▶25.7b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
37.3b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
30.7b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
Compiler

Compiled 10026 to 6747 computations (32.7% saved)

localize41.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓3.9b
(/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n))
✓7.2b
(fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))
✓8.6b
(fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))
✓12.2b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))

series1.1s (0.7%)

Counts
4 → 96
Calls

4 calls:

341.0ms
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
299.0ms
(/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n))
286.0ms
(fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))
186.0ms
(fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))

rewrite22.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
18×*-un-lft-identity_binary64
18×add-sqr-sqrt_binary64
17×add-exp-log_binary64
16×add-cube-cbrt_binary64
9×add-cbrt-cube_binary64
Counts
4 → 89
Calls

4 calls:

5.0ms
(/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n))
3.0ms
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
1.0ms
(fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))
0.0ms
(fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))

simplify308.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
679×times-frac_binary64
383×+-commutative_binary64
334×associate-+r+_binary64
317×fma-def_binary64
160×*-commutative_binary64
Counts
185 → 220
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
091417373
1311316431
2499616431
3500016431

prune663.0ms (0.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New2137220
Fresh033
Picked101
Done000
Total21410224
Error
0.1b
Counts
224 → 10
Alt Table
StatusErrorProgram
30.7b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
▶26.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))))) (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (neg.f64 (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))))))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))))))
39.7b
(/.f64 (-.f64 (+.f64 (/.f64 1 n) (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 3)))) (fma.f64 1/6 (/.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (pow.f64 n 4)) (/.f64 (neg.f64 (log.f64 x)) (*.f64 n n)))) x)
50.0b
(*.f64 (+.f64 (sqrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (sqrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (-.f64 (sqrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (sqrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))))
42.0b
(-.f64 (fma.f64 1/3 (/.f64 (pow.f64 x 3) n) (fma.f64 1/6 (/.f64 (pow.f64 x 3) (pow.f64 n 3)) (+.f64 (/.f64 x n) (*.f64 1/2 (*.f64 (/.f64 x n) (/.f64 x n)))))) (+.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (/.f64 (log.f64 x) n)) (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 n n)) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (*.f64 x x) n) (*.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4))))))))
36.4b
(/.f64 (-.f64 (*.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (*.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (+.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))))
30.5b
(+.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 0)
37.3b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
40.7b
(-.f64 (fma.f64 1/2 (/.f64 (neg.f64 (log.f64 x)) (*.f64 (*.f64 n n) (*.f64 x x))) (fma.f64 1/12 (/.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (*.f64 (pow.f64 n 4) (*.f64 x x))) (+.f64 (/.f64 1 (*.f64 x n)) (+.f64 (/.f64 1/2 (*.f64 (*.f64 n n) (*.f64 x x))) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 x (pow.f64 n 3))) (*.f64 1/4 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 (pow.f64 n 4) (*.f64 x x))))))))) (+.f64 (/.f64 (neg.f64 (log.f64 x)) (*.f64 x (*.f64 n n))) (fma.f64 1/4 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 (pow.f64 n 3) (*.f64 x x))) (fma.f64 1/2 (/.f64 (neg.f64 (log.f64 x)) (*.f64 (pow.f64 n 3) (*.f64 x x))) (fma.f64 1/6 (/.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (*.f64 x (pow.f64 n 4))) (/.f64 1/2 (*.f64 n (*.f64 x x))))))))
36.0b
(*.f64 (sqrt.f64 (-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (sqrt.f64 (-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))))
Compiler

Compiled 29613 to 18408 computations (37.8% saved)

localize49.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓9.2b
(cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
✓16.5b
(cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))))
✓33.5b
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))))) (cbrt.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n))))) (neg.f64 (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))))))
✓59.6b
(fma.f64 (neg.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))))))

series2.3min (91.4%)

Calls

1 calls:

1.2min
(fma.f64 (neg.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))))))

Profiling

Loading profile data...