Details

Time bar (total: 7.0s)

analyze281.0ms (4%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
37.5%62.4%0.1%5
43.7%56.2%0.1%6
53.1%43.7%3.2%7
57.8%38.2%4%8
63.2%26.1%10.6%9
66%22.4%11.6%10
68.9%15.3%15.8%11
70.3%13.2%16.4%12
71.9%9.4%18.8%13
72.6%8.3%19.1%14
Compiler

Compiled 18 to 12 computations (33.3% saved)

sample5.0s (71.8%)

Infinites
12.2% of outputs are infinite.
Results
2.2s1610×body2048valid
1.7s2586×body1024valid
450.0ms1269×body512valid
251.0ms2103×body128valid
188.0ms662×body256valid
65.0ms26×body4096valid
34.0ms316×body128invalid
Compiler

Compiled 53 to 35 computations (34% saved)

simplify48.0ms (0.7%)

Algorithm
egg-herbie
Rules
701×fma-def_binary64
563×associate-/r/_binary64
484×associate-/r*_binary64
474×associate-*l/_binary64
421×associate-/l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01122
12922
26720
316420
446320
5176120
6484720
7501320

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
48.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
48.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
48.7b
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
Compiler

Compiled 97 to 63 computations (35.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(+.f64 1 (/.f64 i n))
0.6b
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
4.6b
(pow.f64 (+.f64 1 (/.f64 i n)) n)

series99.0ms (1.4%)

Counts
3 → 72
Calls

3 calls:

61.0ms
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
33.0ms
(pow.f64 (+.f64 1 (/.f64 i n)) n)
4.0ms
(+.f64 1 (/.f64 i n))

rewrite11.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
add-log-exp_binary64
add-exp-log_binary64
Counts
3 → 47
Calls

3 calls:

5.0ms
(pow.f64 (+.f64 1 (/.f64 i n)) n)
4.0ms
(+.f64 1 (/.f64 i n))
0.0ms
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)

simplify79.0ms (1.1%)

Algorithm
egg-herbie
Rules
515×fma-def_binary64
359×associate-*r*_binary64
280×associate-+l+_binary64
217×times-frac_binary64
201×associate-*l*_binary64
Counts
119 → 129
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04664431
114764263
253734263

prune150.0ms (2.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1218129
Fresh101
Picked011
Done000
Total1229131
Error
2.6b
Counts
131 → 9
Alt Table
StatusErrorProgram
48.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
29.0b
(*.f64 n (/.f64 (*.f64 100 i) i))
43.9b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
58.4b
(*.f64 n (/.f64 (-.f64 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) 50 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 25 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) (fma.f64 50 (/.f64 (pow.f64 n 4) (*.f64 i i)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 (*.f64 n (log.f64 i)) 100 (fma.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) 50/3 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) (fma.f64 (/.f64 (*.f64 n n) i) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) i) (fma.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100 (*.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) i)))))))))))))))) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) 50/3 (fma.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) 50 (fma.f64 50/3 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) (fma.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) 100 (fma.f64 (/.f64 (pow.f64 n 3) (*.f64 i i)) 50 (fma.f64 (*.f64 n (log.f64 n)) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (log.f64 n))) i)) (*.f64 50/3 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))))))))))))) i))
56.9b
(*.f64 n (/.f64 (+.f64 (+.f64 (*.f64 (*.f64 50 (*.f64 n n)) (+.f64 (pow.f64 (log.f64 i) 2) (pow.f64 (log.f64 n) 2))) (*.f64 100 (fma.f64 n (log.f64 i) (/.f64 (*.f64 n n) i)))) (*.f64 -100 (*.f64 (log.f64 n) (+.f64 n (*.f64 n (*.f64 n (log.f64 i))))))) i))
57.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
57.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
49.8b
(*.f64 n (/.f64 (fma.f64 (pow.f64 (exp.f64 n) (+.f64 (neg.f64 (log.f64 n)) (log.f64 i))) 100 -100) i))
32.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 (pow.f64 i 3) 50/3 (fma.f64 i 100 (fma.f64 (*.f64 i i) 50 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 100/3)))) (*.f64 50 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
Compiler

Compiled 6670 to 4121 computations (38.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.6b
(/.f64 (*.f64 100 i) i)

series1.0ms (0%)

Counts
1 → 12
Calls

1 calls:

1.0ms
(/.f64 (*.f64 100 i) i)

rewrite4.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
add-cbrt-cube_binary64
add-exp-log_binary64
associate-/r*_binary64
*-un-lft-identity_binary64
times-frac_binary64
Counts
1 → 23
Calls

1 calls:

3.0ms
(/.f64 (*.f64 100 i) i)

simplify49.0ms (0.7%)

Algorithm
egg-herbie
Rules
675×unswap-sqr_binary64
656×times-frac_binary64
630×fma-neg_binary64
450×associate-/l*_binary64
324×fma-def_binary64
Counts
35 → 38
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
048123
1105117
2310117
3734117
41843117
52802117
64897117

prune41.0ms (0.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New33538
Fresh077
Picked101
Done011
Total341347
Error
2.6b
Counts
47 → 13
Alt Table
StatusErrorProgram
29.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
58.4b
(*.f64 n (/.f64 (-.f64 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) 50 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 25 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) (fma.f64 50 (/.f64 (pow.f64 n 4) (*.f64 i i)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 (*.f64 n (log.f64 i)) 100 (fma.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) 50/3 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) (fma.f64 (/.f64 (*.f64 n n) i) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) i) (fma.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100 (*.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) i)))))))))))))))) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) 50/3 (fma.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) 50 (fma.f64 50/3 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) (fma.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) 100 (fma.f64 (/.f64 (pow.f64 n 3) (*.f64 i i)) 50 (fma.f64 (*.f64 n (log.f64 n)) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (log.f64 n))) i)) (*.f64 50/3 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))))))))))))) i))
29.9b
(*.f64 n (*.f64 (/.f64 100 (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (/.f64 i (cbrt.f64 i))))
49.8b
(*.f64 n (/.f64 (fma.f64 (pow.f64 (exp.f64 n) (+.f64 (neg.f64 (log.f64 n)) (log.f64 i))) 100 -100) i))
48.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
43.9b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
29.9b
(*.f64 n (exp.f64 (log.f64 (/.f64 (*.f64 100 i) i))))
56.9b
(*.f64 n (/.f64 (+.f64 (+.f64 (*.f64 (*.f64 50 (*.f64 n n)) (+.f64 (pow.f64 (log.f64 i) 2) (pow.f64 (log.f64 n) 2))) (*.f64 100 (fma.f64 n (log.f64 i) (/.f64 (*.f64 n n) i)))) (*.f64 -100 (*.f64 (log.f64 n) (+.f64 n (*.f64 n (*.f64 n (log.f64 i))))))) i))
29.0b
(*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))
57.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
57.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
32.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 (pow.f64 i 3) 50/3 (fma.f64 i 100 (fma.f64 (*.f64 i i) 50 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 100/3)))) (*.f64 50 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
29.1b
(*.f64 n 100)
Compiler

Compiled 1341 to 843 computations (37.1% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))
0.8b
(*.f64 (*.f64 100 i) (/.f64 1 i))

series4.0ms (0.1%)

Counts
2 → 36
Calls

2 calls:

3.0ms
(*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))
1.0ms
(*.f64 (*.f64 100 i) (/.f64 1 i))

rewrite20.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
56×add-exp-log_binary64
33×prod-exp_binary64
32×add-cbrt-cube_binary64
17×cbrt-unprod_binary64
16×pow1_binary64
Counts
2 → 73
Calls

2 calls:

8.0ms
(*.f64 (*.f64 100 i) (/.f64 1 i))
7.0ms
(*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))

simplify84.0ms (1.2%)

Algorithm
egg-herbie
Rules
594×associate-*l*_binary64
498×associate-*r*_binary64
495×fma-neg_binary64
365×associate-/r/_binary64
357×fma-def_binary64
Counts
109 → 97
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
098527
1220491
2609491
32036491
43670491
54584491
64839491

prune73.0ms (1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New92597
Fresh2911
Picked101
Done011
Total9515110
Error
2.5b
Counts
110 → 15
Alt Table
StatusErrorProgram
29.5b
(*.f64 n (*.f64 (*.f64 (*.f64 100 i) (*.f64 (cbrt.f64 (/.f64 1 i)) (cbrt.f64 (/.f64 1 i)))) (cbrt.f64 (/.f64 1 i))))
29.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
44.5b
(*.f64 (sqrt.f64 n) (*.f64 (sqrt.f64 n) (*.f64 (*.f64 100 i) (/.f64 1 i))))
58.4b
(*.f64 n (/.f64 (-.f64 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) 50 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 25 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) (fma.f64 50 (/.f64 (pow.f64 n 4) (*.f64 i i)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 (*.f64 n (log.f64 i)) 100 (fma.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) 50/3 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) (fma.f64 (/.f64 (*.f64 n n) i) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) i) (fma.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100 (*.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) i)))))))))))))))) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) 50/3 (fma.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) 50 (fma.f64 50/3 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) (fma.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) 100 (fma.f64 (/.f64 (pow.f64 n 3) (*.f64 i i)) 50 (fma.f64 (*.f64 n (log.f64 n)) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (log.f64 n))) i)) (*.f64 50/3 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))))))))))))) i))
31.1b
(/.f64 (*.f64 n (*.f64 100 i)) i)
29.9b
(*.f64 n (exp.f64 (log.f64 (/.f64 (*.f64 100 i) i))))
29.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))) (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i))))) (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))))
57.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
44.2b
(log.f64 (pow.f64 (exp.f64 100) n))
57.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
48.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
43.9b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
56.9b
(*.f64 n (/.f64 (+.f64 (+.f64 (*.f64 (*.f64 50 (*.f64 n n)) (+.f64 (pow.f64 (log.f64 i) 2) (pow.f64 (log.f64 n) 2))) (*.f64 100 (fma.f64 n (log.f64 i) (/.f64 (*.f64 n n) i)))) (*.f64 -100 (*.f64 (log.f64 n) (+.f64 n (*.f64 n (*.f64 n (log.f64 i))))))) i))
32.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 (pow.f64 i 3) 50/3 (fma.f64 i 100 (fma.f64 (*.f64 i i) 50 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 100/3)))) (*.f64 50 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
29.1b
(*.f64 n 100)
Compiler

Compiled 2369 to 1556 computations (34.3% saved)

localize2.0ms (0%)

prune15.0ms (0.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New000
Fresh01313
Picked011
Done011
Total01515
Error
2.5b
Counts
15 → 15
Alt Table
StatusErrorProgram
29.5b
(*.f64 n (*.f64 (*.f64 (*.f64 100 i) (*.f64 (cbrt.f64 (/.f64 1 i)) (cbrt.f64 (/.f64 1 i)))) (cbrt.f64 (/.f64 1 i))))
29.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
44.5b
(*.f64 (sqrt.f64 n) (*.f64 (sqrt.f64 n) (*.f64 (*.f64 100 i) (/.f64 1 i))))
58.4b
(*.f64 n (/.f64 (-.f64 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) 50 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 25 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) (fma.f64 50 (/.f64 (pow.f64 n 4) (*.f64 i i)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 (*.f64 n (log.f64 i)) 100 (fma.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) 50/3 (fma.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) 50 (fma.f64 25/6 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) (fma.f64 (/.f64 (*.f64 n n) i) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) i) (fma.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100 (*.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) i)))))))))))))))) (fma.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) 50/3 (fma.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) 50 (fma.f64 50/3 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) (fma.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) 100 (fma.f64 (/.f64 (pow.f64 n 3) (*.f64 i i)) 50 (fma.f64 (*.f64 n (log.f64 n)) 100 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (log.f64 n))) i)) (*.f64 50/3 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))))))))))))) i))
31.1b
(/.f64 (*.f64 n (*.f64 100 i)) i)
29.9b
(*.f64 n (exp.f64 (log.f64 (/.f64 (*.f64 100 i) i))))
29.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))) (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i))))) (cbrt.f64 (*.f64 n (*.f64 (*.f64 100 i) (/.f64 1 i)))))
57.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
44.2b
(log.f64 (pow.f64 (exp.f64 100) n))
57.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
48.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
43.9b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
56.9b
(*.f64 n (/.f64 (+.f64 (+.f64 (*.f64 (*.f64 50 (*.f64 n n)) (+.f64 (pow.f64 (log.f64 i) 2) (pow.f64 (log.f64 n) 2))) (*.f64 100 (fma.f64 n (log.f64 i) (/.f64 (*.f64 n n) i)))) (*.f64 -100 (*.f64 (log.f64 n) (+.f64 n (*.f64 n (*.f64 n (log.f64 i))))))) i))
32.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 (pow.f64 i 3) 50/3 (fma.f64 i 100 (fma.f64 (*.f64 i i) 50 (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 100/3)))) (*.f64 50 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
29.1b
(*.f64 n 100)
Compiler

Compiled 534 to 346 computations (35.2% saved)

regimes487.0ms (7%)

Accuracy

Total 9.4b remaining (76.6%)

Threshold costs 0b (0%)

Counts
61 → 4
Compiler

Compiled 8572 to 5808 computations (32.2% saved)

bsearch176.0ms (2.5%)

Steps
ItersRangePoint
10
1.0984287724180263e-5
412672.2364510383
0.585668199925356
5
-8.327061318936555e-11
-3.138694178345714e-11
-8.204085708724183e-11
7
-9.078806880998543e+96
-2.745854063161972e+95
-3.81143365456763e+96
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02860
13160
23160

end325.0ms (4.6%)

Compiler

Compiled 620 to 406 computations (34.5% saved)

Profiling

Loading profile data...