Details

Time bar (total: 11.3s)

analyze943.0ms (8.3%)

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.7%)

Results
2.8s1872×body2048valid
2.0s2603×body1024valid
518.0ms1235×body512valid
266.0ms1930×body128valid
162.0ms582×body256valid
154.0ms173×body1024invalid
127.0ms230×body512invalid
82.0ms34×body4096valid
71.0ms542×body128invalid
56.0ms159×body256invalid
22.0ms18×body2048invalid
Compiler

Compiled 53 to 35 computations (34% saved)

simplify45.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
46.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
46.6b
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
▶46.6b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
Compiler

Compiled 97 to 63 computations (35.1% saved)

localize10.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.1b
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓1.2b
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
✓4.9b
(pow.f64 (+.f64 1 (/.f64 i n)) n)

series305.0ms (2.7%)

Counts
4 → 96
Calls

4 calls:

123.0ms
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
86.0ms
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
63.0ms
(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
28.0ms
(pow.f64 (+.f64 1 (/.f64 i n)) n)

rewrite18.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:

6.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)

simplify209.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

prune344.0ms (3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New24615261
Fresh101
Picked101
Done000
Total24815263
Error
3.1b
Counts
263 → 15
Alt Table
StatusErrorProgram
53.1b
(*.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)))))
48.7b
(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
31.7b
(*.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.2b
(-.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))))
29.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)))))
48.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
46.2b
(neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i))
53.1b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (*.f64 100 (+.f64 (*.f64 n (log.f64 i)) (/.f64 (*.f64 n n) i))))) (*.f64 100 (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i)))))) i))
31.8b
(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
53.2b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
46.8b
(*.f64 n (/.f64 (log.f64 (exp.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100))) i))
▶29.4b
(*.f64 100 n)
58.3b
(*.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)))
56.4b
(*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i))
46.6b
(*.f64 n (*.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 1 i)))
Compiler

Compiled 14153 to 8873 computations (37.3% saved)

localize2.0ms (0%)

prune23.0ms (0.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01414
Picked011
Done000
Total01515
Error
3.1b
Counts
15 → 15
Alt Table
StatusErrorProgram
53.1b
(*.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)))))
48.7b
(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
31.7b
(*.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.2b
(-.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))))
▶29.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)))))
48.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
46.2b
(neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i))
53.1b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (*.f64 100 (+.f64 (*.f64 n (log.f64 i)) (/.f64 (*.f64 n n) i))))) (*.f64 100 (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i)))))) i))
31.8b
(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
53.2b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
46.8b
(*.f64 n (/.f64 (log.f64 (exp.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100))) i))
✓29.4b
(*.f64 100 n)
58.3b
(*.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)))
56.4b
(*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i))
46.6b
(*.f64 n (*.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 1 i)))
Compiler

Compiled 1017 to 630 computations (38.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓2.0b
(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
✓3.1b
(*.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)))))
✓3.6b
(-.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))))
✓6.4b
(/.f64 (*.f64 i i) n)

series102.0ms (0.9%)

Counts
4 → 96
Calls

4 calls:

39.0ms
(*.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)))))
30.0ms
(-.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))))
21.0ms
(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
12.0ms
(/.f64 (*.f64 i i) n)

rewrite39.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
37×*-un-lft-identity_binary64
23×add-sqr-sqrt_binary64
21×add-cube-cbrt_binary64
20×associate-*r/_binary64
20×times-frac_binary64
Counts
4 → 131
Calls

4 calls:

9.0ms
(*.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)))))
7.0ms
(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
6.0ms
(-.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))))
4.0ms
(/.f64 (*.f64 i i) n)

simplify194.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
568×times-frac_binary64
407×fma-neg_binary64
312×cancel-sign-sub-inv_binary64
200×distribute-rgt-in_binary64
185×distribute-lft-in_binary64
Counts
227 → 236
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02728392
17847689
228797475
347657475
449387475

prune272.0ms (2.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New2333236
Fresh11213
Picked101
Done011
Total23516251
Error
3.1b
Counts
251 → 16
Alt Table
StatusErrorProgram
53.1b
(*.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)))))
48.7b
(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
31.7b
(*.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.2b
(-.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))))
30.0b
(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
48.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
46.2b
(neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i))
53.1b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (*.f64 100 (+.f64 (*.f64 n (log.f64 i)) (/.f64 (*.f64 n n) i))))) (*.f64 100 (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i)))))) i))
▶29.9b
(+.f64 (*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
30.7b
(*.f64 n (fma.f64 (*.f64 (cbrt.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (cbrt.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))))) (cbrt.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 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
53.2b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
46.8b
(*.f64 n (/.f64 (log.f64 (exp.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100))) i))
✓29.4b
(*.f64 100 n)
58.3b
(*.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)))
56.4b
(*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i))
46.6b
(*.f64 n (*.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 1 i)))
Compiler

Compiled 13750 to 5670 computations (58.8% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓2.8b
(+.f64 (*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
✓3.1b
(*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))))
6.4b
(/.f64 (*.f64 i i) n)
✓13.6b
(*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50))

series79.0ms (0.7%)

Counts
3 → 72
Calls

3 calls:

31.0ms
(*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))))
29.0ms
(+.f64 (*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
19.0ms
(*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50))

rewrite33.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
17×associate-*r/_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
10×pow1_binary64
9×associate-*l/_binary64
Counts
3 → 71
Calls

3 calls:

12.0ms
(*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50))
7.0ms
(+.f64 (*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
5.0ms
(*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))))

simplify275.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
420×fma-neg_binary64
283×associate-*l*_binary64
269×associate-*r*_binary64
247×times-frac_binary64
216×cancel-sign-sub-inv_binary64
Counts
143 → 152
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02075268
16864904
226674381
346044381
449904381
549954381
649504381

prune220.0ms (1.9%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New1810181
Fresh01414
Picked011
Done011
Total18116197
Error
3.1b
Counts
197 → 16
Alt Table
StatusErrorProgram
53.1b
(*.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)))))
48.7b
(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
31.7b
(*.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.2b
(-.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))))
30.0b
(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
48.7b
(*.f64 n (/.f64 (fma.f64 100 (exp.f64 i) -100) i))
46.2b
(neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i))
53.1b
(*.f64 n (/.f64 (-.f64 (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) (*.f64 100 (+.f64 (*.f64 n (log.f64 i)) (/.f64 (*.f64 n n) i))))) (*.f64 100 (*.f64 (log.f64 n) (+.f64 n (*.f64 (*.f64 n n) (log.f64 i)))))) i))
✓29.9b
(+.f64 (*.f64 n (+.f64 100 (fma.f64 i 50 (fma.f64 (*.f64 i i) 50/3 (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (*.f64 n (*.f64 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
30.7b
(*.f64 n (fma.f64 (*.f64 (cbrt.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n))))))) (cbrt.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))))) (cbrt.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 (+.f64 (/.f64 (*.f64 i i) n) (/.f64 i n)) -50)))
53.2b
(*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i))
46.8b
(*.f64 n (/.f64 (log.f64 (exp.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100))) i))
✓29.4b
(*.f64 100 n)
58.3b
(*.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)))
56.4b
(*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i))
46.6b
(*.f64 n (*.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 1 i)))
Compiler

Compiled 9314 to 4206 computations (54.8% saved)

regimes1.3s (11.5%)

Accuracy

Total 7.7b remaining (72.3%)

Threshold costs 0b (0%)

Counts
114 → 3
Compiler

Compiled 15928 to 9680 computations (39.2% saved)

bsearch192.0ms (1.7%)

Steps
ItersRangePoint
9
4.797392863524803e-38
1.7759379142558954e-31
9.097051035597713e-35
10
-134948210.39536107
-5.68860059457281e-10
-3.182851271538301e-7
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
8×*-commutative_binary64
2×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
043105
153105
253105

end378.0ms (3.3%)

Compiler

Compiled 686 to 412 computations (39.9% saved)

Profiling

Loading profile data...