Details

Time bar (total: 2.4s)

analyze5.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample1.0s (43.2%)

Results
1.0s8256×body128valid
0.0ms4×body128invalid
Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify44.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
4×sub-neg_binary64
3×+-commutative_binary64
2×fma-def_binary64
1×*-commutative_binary64
1×associate-+l-_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11411
21711
31911
42311
52411
62911
72211

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 24 to 21 computations (12.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 1 x) 1)
✓0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))

series4.0ms (0.2%)

Counts
2 → 15
Calls

2 calls:

3.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
1.0ms
(-.f64 (/.f64 1 x) 1)

rewrite42.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
75×add-sqr-sqrt_binary64
63×*-un-lft-identity_binary64
48×times-frac_binary64
45×add-cube-cbrt_binary64
39×prod-diff_binary64
Counts
2 → 110
Calls

2 calls:

29.0ms
(-.f64 (/.f64 1 x) 1)
6.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

simplify99.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
855×fma-neg_binary64
430×times-frac_binary64
322×cancel-sign-sub-inv_binary64
267×distribute-rgt-in_binary64
228×associate-*l/_binary64
Counts
125 → 153
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01041425
11971351
24711333
314001269
442551265
549841265
649491265

prune190.0ms (7.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1512153
Fresh000
Picked011
Done000
Total1513154
Error
0b
Counts
154 → 3
Alt Table
StatusErrorProgram
33.3b
(neg.f64 (-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x))))
▶0.0b
(neg.f64 (log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0)))
✓0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 2784 to 2362 computations (15.2% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0))
✓0.3b
(/.f64 1 (cbrt.f64 x))
✓0.6b
(cbrt.f64 x)
✓0.7b
(pow.f64 (/.f64 1 (cbrt.f64 x)) 3)

series206.0ms (8.5%)

Counts
4 → 48
Calls

4 calls:

110.0ms
(pow.f64 (/.f64 1 (cbrt.f64 x)) 3)
60.0ms
(/.f64 1 (cbrt.f64 x))
30.0ms
(cbrt.f64 x)
6.0ms
(log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0))

rewrite31.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
54×times-frac_binary64
53×*-un-lft-identity_binary64
48×add-sqr-sqrt_binary64
48×add-cube-cbrt_binary64
33×cbrt-prod_binary64
Counts
4 → 148
Calls

4 calls:

15.0ms
(log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0))
5.0ms
(pow.f64 (/.f64 1 (cbrt.f64 x)) 3)
3.0ms
(/.f64 1 (cbrt.f64 x))
1.0ms
(cbrt.f64 x)

simplify108.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
869×fma-neg_binary64
424×fma-def_binary64
251×associate-*l/_binary64
219×associate-/r*_binary64
206×log-prod_binary64
Counts
196 → 181
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01542078
13371850
210681678
336701678
449611678
548721678

prune235.0ms (9.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1810181
Fresh011
Picked011
Done011
Total1813184
Error
0b
Counts
184 → 3
Alt Table
StatusErrorProgram
▶33.3b
(neg.f64 (-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x))))
✓0.0b
(neg.f64 (log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0)))
✓0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 3154 to 2527 computations (19.9% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(log1p.f64 (/.f64 1 x))
✓0.0b
(-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x)))
✓0.1b
(/.f64 1 (*.f64 x x))
✓32.2b
(log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x))))

series14.0ms (0.6%)

Counts
4 → 48
Calls

4 calls:

7.0ms
(log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x))))
3.0ms
(-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x)))
3.0ms
(log1p.f64 (/.f64 1 x))
2.0ms
(/.f64 1 (*.f64 x x))

rewrite19.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
26×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
18×pow1_binary64
17×add-cube-cbrt_binary64
16×add-exp-log_binary64
Counts
4 → 106
Calls

4 calls:

7.0ms
(-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x)))
4.0ms
(log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x))))
3.0ms
(/.f64 1 (*.f64 x x))
0.0ms
(log1p.f64 (/.f64 1 x))

simplify98.0ms (4%)

Algorithm
1×egg-herbie
Rules
626×fma-def_binary64
411×sub-neg_binary64
405×associate-*l*_binary64
319×associate-*r*_binary64
172×cancel-sign-sub-inv_binary64
Counts
154 → 153
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01982311
14342169
212122154
344112154
450062154

prune98.0ms (4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1530153
Fresh000
Picked011
Done022
Total1533156
Error
0b
Counts
156 → 3
Alt Table
StatusErrorProgram
✓33.3b
(neg.f64 (-.f64 (log.f64 (+.f64 -1 (/.f64 1 (*.f64 x x)))) (log1p.f64 (/.f64 1 x))))
✓0.0b
(neg.f64 (log.f64 (+.f64 (+.f64 -1 (pow.f64 (/.f64 1 (cbrt.f64 x)) 3)) 0)))
✓0.0b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 3508 to 2607 computations (25.7% saved)

regimes95.0ms (3.9%)

Accuracy

Total 0.0b remaining (9.2%)

Threshold costs 0.0b (9.2%)

Counts
18 → 1
Compiler

Compiled 1034 to 854 computations (17.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11411
21711
31811
41611

end60.0ms (2.5%)

Compiler

Compiled 52 to 45 computations (13.5% saved)

Profiling

Loading profile data...