Details

Time bar (total: 11.3s)

analyze1.4s (12.1%)

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
0%99.9%0.1%5
3.1%96.8%0.1%6
15.6%81.2%3.2%7
23.4%72.6%4%8
32.4%55.8%11.8%9
36.3%50.9%12.8%10
40.7%41.5%17.9%11
42.6%38.6%18.8%12
44.5%33.5%22%13
45.5%32%22.5%14
Compiler

Compiled 18 to 12 computations (33.3% saved)

sample6.3s (55.9%)

Results
2.8s1811×body2048valid
2.0s2602×body1024valid
510.0ms1241×body512valid
286.0ms1967×body128valid
188.0ms195×body1024invalid
168.0ms601×body256valid
121.0ms217×body512invalid
87.0ms34×body4096valid
75.0ms538×body128invalid
49.0ms149×body256invalid
24.0ms18×body2048invalid
Compiler

Compiled 53 to 35 computations (34% saved)

simplify44.0ms (0.4%)

Algorithm
1×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%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
49.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶49.7b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
49.8b
(*.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 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
✓0.0b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓2.4b
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
✓8.2b
(pow.f64 (+.f64 1 (/.f64 i n)) n)

series306.0ms (2.7%)

Counts
4 → 96
Calls

4 calls:

118.0ms
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
92.0ms
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
66.0ms
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
29.0ms
(pow.f64 (+.f64 1 (/.f64 i n)) n)

rewrite19.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
22×add-cube-cbrt_binary64
19×times-frac_binary64
13×associate-*r*_binary64
Counts
4 → 93
Calls

4 calls:

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

simplify200.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
462×times-frac_binary64
322×*-commutative_binary64
293×+-commutative_binary64
262×fma-def_binary64
225×sub-neg_binary64
Counts
189 → 261
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
098210503
1314010129
248709717
349729717

prune361.0ms (3.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New24417261
Fresh101
Picked101
Done000
Total24617263
Error
2.8b
Counts
263 → 17
Alt Table
StatusErrorProgram
55.4b
(fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100))
54.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 100 (/.f64 (*.f64 n n) i) (fma.f64 100 (*.f64 n (log.f64 i)) (fma.f64 50 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100))))))) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) (fma.f64 50 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (fma.f64 100 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) (fma.f64 50 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 (*.f64 n (log.f64 n)) 100))))))) i))
45.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 (*.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
54.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
55.2b
(*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
48.8b
(/.f64 (*.f64 (-.f64 (*.f64 100 (exp.f64 i)) 100) n) i)
31.6b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)) (fma.f64 25/6 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 275/6)))))) (fma.f64 25 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (/.f64 i n) (fma.f64 50 (/.f64 (*.f64 i i) n) (*.f64 25 (pow.f64 (/.f64 i n) 3)))))))
55.7b
(-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (+.f64 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (pow.f64 (log.f64 n) 2))) i) (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 n) (pow.f64 (log.f64 i) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (*.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
49.7b
(*.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) (/.f64 1 i))
28.9b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
49.8b
(*.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)) (*.f64 (cbrt.f64 n) (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)))
54.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
54.2b
(*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
28.9b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))))
55.4b
(-.f64 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
▶28.3b
(*.f64 n (/.f64 (*.f64 100 i) i))
57.0b
(-.f64 (+.f64 (*.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) (pow.f64 i 2))) (*.f64 100 (/.f64 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) i))) (*.f64 100 (/.f64 n i)))
Compiler

Compiled 14713 to 9213 computations (37.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (*.f64 100 i) i)

series1.0ms (0%)

Counts
1 → 12
Calls

1 calls:

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

rewrite4.0ms (0%)

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

1 calls:

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

simplify51.0ms (0.5%)

Algorithm
1×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

prune63.0ms (0.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New37138
Fresh01616
Picked101
Done000
Total381755
Error
2.8b
Counts
55 → 17
Alt Table
StatusErrorProgram
55.4b
(fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100))
54.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 100 (/.f64 (*.f64 n n) i) (fma.f64 100 (*.f64 n (log.f64 i)) (fma.f64 50 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100))))))) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) (fma.f64 50 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (fma.f64 100 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) (fma.f64 50 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 (*.f64 n (log.f64 n)) 100))))))) i))
45.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 (*.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
54.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
55.2b
(*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
48.8b
(/.f64 (*.f64 (-.f64 (*.f64 100 (exp.f64 i)) 100) n) i)
31.6b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)) (fma.f64 25/6 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 275/6)))))) (fma.f64 25 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (/.f64 i n) (fma.f64 50 (/.f64 (*.f64 i i) n) (*.f64 25 (pow.f64 (/.f64 i n) 3)))))))
55.7b
(-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (+.f64 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (pow.f64 (log.f64 n) 2))) i) (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 n) (pow.f64 (log.f64 i) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (*.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
28.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
55.4b
(-.f64 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
49.7b
(*.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) (/.f64 1 i))
▶28.9b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
49.8b
(*.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)) (*.f64 (cbrt.f64 n) (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)))
54.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
54.2b
(*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
28.9b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))))
57.0b
(-.f64 (+.f64 (*.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) (pow.f64 i 2))) (*.f64 100 (/.f64 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) i))) (*.f64 100 (/.f64 n i)))
Compiler

Compiled 1961 to 1214 computations (38.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓4.0b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
✓4.4b
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n)))))
✓6.1b
(/.f64 (*.f64 i i) n)
✓9.8b
(*.f64 (*.f64 i i) n)

series68.0ms (0.6%)

Counts
4 → 96
Calls

4 calls:

23.0ms
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n)))))
22.0ms
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
14.0ms
(/.f64 (*.f64 i i) n)
8.0ms
(*.f64 (*.f64 i i) n)

rewrite16.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
14×add-cbrt-cube_binary64
14×add-exp-log_binary64
10×add-sqr-sqrt_binary64
9×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64
Counts
4 → 77
Calls

4 calls:

6.0ms
(*.f64 (*.f64 i i) n)
4.0ms
(/.f64 (*.f64 i i) n)
3.0ms
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
0.0ms
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (*.f64 i i) n) (*.f64 50 (*.f64 i n)))))

simplify83.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
772×fma-def_binary64
707×distribute-rgt-in_binary64
693×distribute-lft-in_binary64
367×times-frac_binary64
147×cancel-sign-sub-inv_binary64
Counts
173 → 146
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01563791
13933344
214922964
355432964

prune164.0ms (1.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1451146
Fresh11516
Picked101
Done000
Total14716163
Error
2.8b
Counts
163 → 16
Alt Table
StatusErrorProgram
55.4b
(fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100))
54.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 100 (/.f64 (*.f64 n n) i) (fma.f64 100 (*.f64 n (log.f64 i)) (fma.f64 50 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100))))))) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) (fma.f64 50 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (fma.f64 100 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) (fma.f64 50 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 (*.f64 n (log.f64 n)) 100))))))) i))
45.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 (*.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
54.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
55.2b
(*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
48.8b
(/.f64 (*.f64 (-.f64 (*.f64 100 (exp.f64 i)) 100) n) i)
31.6b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)) (fma.f64 25/6 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 275/6)))))) (fma.f64 25 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (/.f64 i n) (fma.f64 50 (/.f64 (*.f64 i i) n) (*.f64 25 (pow.f64 (/.f64 i n) 3)))))))
55.7b
(-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (+.f64 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (pow.f64 (log.f64 n) 2))) i) (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 n) (pow.f64 (log.f64 i) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (*.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
28.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
55.4b
(-.f64 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
49.7b
(*.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) (/.f64 1 i))
49.8b
(*.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)) (*.f64 (cbrt.f64 n) (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)))
54.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
54.2b
(*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
▶28.8b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
57.0b
(-.f64 (+.f64 (*.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) (pow.f64 i 2))) (*.f64 100 (/.f64 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) i))) (*.f64 100 (/.f64 n i)))
Compiler

Compiled 6825 to 3199 computations (53.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.6b
(fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))
✓4.0b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
✓4.4b
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))))
9.8b
(*.f64 (*.f64 i i) n)

series55.0ms (0.5%)

Counts
3 → 72
Calls

3 calls:

21.0ms
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
21.0ms
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))))
13.0ms
(fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))

rewrite7.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
5×add-cube-cbrt_binary64
5×add-log-exp_binary64
3×fma-neg_binary64
Counts
3 → 43
Calls

3 calls:

4.0ms
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
0.0ms
(fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))))
0.0ms
(fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))

simplify96.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
722×distribute-rgt-in_binary64
722×fma-def_binary64
708×distribute-lft-in_binary64
189×exp-sum_binary64
179×fma-neg_binary64
Counts
115 → 106
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01123556
12743164
29682689
347402688
450512688

prune140.0ms (1.2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1361137
Fresh01515
Picked011
Done000
Total13617153
Error
2.8b
Counts
153 → 17
Alt Table
StatusErrorProgram
55.4b
(fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100))
54.7b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 100 (/.f64 (*.f64 n n) i) (fma.f64 100 (*.f64 n (log.f64 i)) (fma.f64 50 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) (*.f64 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) i) 100))))))) (fma.f64 50/3 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) (fma.f64 50 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) i) (fma.f64 100 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) (fma.f64 50 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 (*.f64 n (log.f64 n)) 100))))))) i))
45.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 (*.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
29.5b
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))))) (cbrt.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))))) (cbrt.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n)))))) (*.f64 (fma.f64 i i i) -50))
54.3b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
55.2b
(*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
48.8b
(/.f64 (*.f64 (-.f64 (*.f64 100 (exp.f64 i)) 100) n) i)
31.6b
(*.f64 n (-.f64 (+.f64 100 (fma.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)) (fma.f64 25/6 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 275/6)))))) (fma.f64 25 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (/.f64 i n) (fma.f64 50 (/.f64 (*.f64 i i) n) (*.f64 25 (pow.f64 (/.f64 i n) 3)))))))
55.7b
(-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (+.f64 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 i) (pow.f64 (log.f64 n) 2))) i) (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (*.f64 (log.f64 n) (pow.f64 (log.f64 i) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (*.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
28.9b
(*.f64 n (*.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 100)) (cbrt.f64 100)))
55.4b
(-.f64 (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (*.f64 i i)) (*.f64 50 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (pow.f64 n 3) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 (*.f64 n n) (log.f64 n)) i))))
49.7b
(*.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) (/.f64 1 i))
49.8b
(*.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)) (*.f64 (cbrt.f64 n) (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)))
54.3b
(*.f64 n (/.f64 (*.f64 n (*.f64 100 (-.f64 (log.f64 i) (log.f64 n)))) i))
54.2b
(*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
✓28.8b
(-.f64 (fma.f64 50/3 (*.f64 (*.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (*.f64 i (/.f64 i n)) (*.f64 50 (*.f64 i n))))) (*.f64 50 (+.f64 i (*.f64 i i))))
57.0b
(-.f64 (+.f64 (*.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) (pow.f64 i 2))) (*.f64 100 (/.f64 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))) i))) (*.f64 100 (/.f64 n i)))
Compiler

Compiled 5856 to 2767 computations (52.7% saved)

regimes1.2s (10.9%)

Accuracy

Total 7.5b remaining (72.9%)

Threshold costs 0b (0%)

Counts
175 → 3
Compiler

Compiled 19828 to 12820 computations (35.3% saved)

bsearch211.0ms (1.9%)

Steps
ItersRangePoint
10
0.02295257198864598
44841182761.27726
0.057649679874463414
10
-8.704644011327816e-16
-3.5653998822074306e-26
-6.23013280765247e-16
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify10.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
14×*-commutative_binary64
6×+-commutative_binary64
5×sub-neg_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04499
16399
26999
37799
48999
59499
69699
79499

end444.0ms (3.9%)

Compiler

Compiled 976 to 599 computations (38.6% saved)

Profiling

Loading profile data...