Details

Time bar (total: 2.5min)

analyze191.0ms (0.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
25%74.9%0.1%5
43.7%43.7%12.6%6
53.1%31.2%15.7%7
59.3%18.7%22%8
62.4%14%23.5%9
64.8%8.6%26.6%10
66%6.6%27.4%11
66.9%4.1%29%12
67.4%3.2%29.4%13
67.9%2%30.1%14
Compiler

Compiled 12 to 9 computations (25% saved)

sample28.0ms (0%)

Algorithm
1×intervals
Results
14.0ms237×body128valid
3.0ms6×body1024valid
2.0ms8×body512valid
1.0ms5×body256valid
0.0ms2×body128invalid
0.0ms1×body128overflowed
Compiler

Compiled 25 to 19 computations (24% saved)

simplify106.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
837×fma-def_binary64
741×fabs-mul_binary64
531×fabs-div_binary64
469×swap-sqr_binary64
420×fma-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11911
22811
34511
45911
58911
612011
714811
818811
920111
1023111
1125711
1233611
1354411
1496711
15293011
16346311
17360011
18389611
19482011
20496911

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.8b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.8b
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
Compiler

Compiled 36 to 22 computations (38.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
✓0.7b
(log1p.f64 (exp.f64 x))

rewrite4.0ms (0%)

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

2 calls:

2.0ms
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
0.0ms
(log1p.f64 (exp.f64 x))

series363.0ms (0.2%)

Counts
2 → 36
Calls

2 calls:

260.0ms
(log1p.f64 (exp.f64 x))
103.0ms
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
620×cancel-sign-sub-inv_binary64
339×unswap-sqr_binary64
285×*-commutative_binary64
285×unsub-neg_binary64
252×distribute-rgt-in_binary64
Counts
68 → 116
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
073789
1167742
2426710
31507707
43171707
54588701
64872701

prune31.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1151116
Fresh000
Picked011
Done000
Total1152117
Error
0.4b
Counts
117 → 2
Alt Table
StatusErrorProgram
✓0.8b
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶11.9b
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
Compiler

Compiled 776 to 283 computations (63.5% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite1.0ms (0%)

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

1 calls:

0.0ms
(fma.f64 x (-.f64 1/2 y) (log.f64 2))

series76.0ms (0.1%)

Counts
1 → 24
Calls

1 calls:

75.0ms
(fma.f64 x (-.f64 1/2 y) (log.f64 2))

simplify75.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
855×fma-neg_binary64
478×neg-sub0_binary64
433×neg-mul-1_binary64
375×*-commutative_binary64
362×distribute-rgt-in_binary64
Counts
34 → 59
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
028459
152346
2104346
3328346
41670346
52981346
64467346
74969346

prune16.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New57259
Fresh000
Picked011
Done011
Total57461
Error
0.4b
Counts
61 → 4
Alt Table
StatusErrorProgram
✓0.8b
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶21.9b
(cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))
23.2b
(expm1.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))
✓11.9b
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
Compiler

Compiled 270 to 205 computations (24.1% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
✓0.6b
(pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3)
✓17.1b
(cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))

rewrite5.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64
8×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64
8×add-cube-cbrt_binary64
6×cube-prod_binary64
Counts
2 → 48
Calls

2 calls:

2.0ms
(cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))
1.0ms
(pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3)

series126.0ms (0.1%)

Counts
2 → 48
Calls

2 calls:

96.0ms
(cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))
30.0ms
(pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3)

simplify163.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
861×cancel-sign-sub-inv_binary64
541×fma-neg_binary64
271×unswap-sqr_binary64
237×distribute-rgt-in_binary64
213×distribute-lft-in_binary64
Counts
96 → 178
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01332972
13912594
215092516
339822503
448442503
549952503
649582503

prune83.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2361237
Fresh011
Picked101
Done022
Total2374241
Error
0.4b
Counts
241 → 4
Alt Table
StatusErrorProgram
✓0.8b
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
27.7b
(exp.f64 (log.f64 (cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))))
▶23.2b
(expm1.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))
✓11.9b
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
Compiler

Compiled 2394 to 1893 computations (20.9% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)))
0.0b
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
✓0.8b
(expm1.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))

rewrite2.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×expm1-log1p-u_binary64
2×*-un-lft-identity_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
2×add-cbrt-cube_binary64
Counts
2 → 22
Calls

2 calls:

0.0ms
(expm1.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))
0.0ms
(log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)))

series2.5min (99.1%)

Profiling

Loading profile data...