Details

Time bar (total: 1.4s)

analyze5.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14

sample104.0ms

Algorithm
intervals
Results
59.0ms119×body1280valid
21.0ms75×body640valid
6.0ms35×body320valid
2.0ms22×body160valid
0.0ms5×body80valid

simplify275.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (266.0ms)

IterNodesCost
0400515
1400515

prune9.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 58.8b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 1 x) (-.f64 1 x))
6.6b
(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
48×times-frac_binary64
30×log-prod_binary64
25×add-cube-cbrt_binary64
18×difference-of-squares_binary64
13×distribute-lft-out_binary64
9×distribute-lft-out--_binary64
7×add-exp-log_binary64
6×associate-/r*_binary64
4×add-cbrt-cube_binary64 associate-/r/_binary64 associate-/l*_binary64
3×pow1_binary64
2×associate-/l/_binary64 add-log-exp_binary64 flip3--_binary64 rem-log-exp_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
1×flip3-+_binary64 cbrt-undiv_binary64 log-pow_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64
Counts
2 → 91
Calls
2 calls:
11.0ms
(/.f64 (+.f64 1 x) (-.f64 1 x))
7.0ms
(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

series40.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(/.f64 (+.f64 1 x) (-.f64 1 x))
29.0ms
(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

simplify80.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049271898
149271898

prune228.0ms

Filtered
59 candidates to 97 candidates (-64.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New94397
Fresh000
Picked101
Done000
Total95398

Merged error: 0b

Counts
98 → 3

localize20.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 2/5 (pow.f64 x 5))
0.1b
(*.f64 (pow.f64 x 3) 2/3)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
15×associate-*l*_binary64
12×add-exp-log_binary64
10×associate-*r*_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×unpow-prod-down_binary64
7×unswap-sqr_binary64
6×add-cbrt-cube_binary64 prod-exp_binary64
4×sqr-pow_binary64 cube-prod_binary64
2×pow-to-exp_binary64 add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 pow-exp_binary64 *-commutative_binary64
1×unpow3_binary64 cube-mult_binary64
Counts
2 → 56
Calls
2 calls:
6.0ms
(*.f64 2/5 (pow.f64 x 5))
6.0ms
(*.f64 (pow.f64 x 3) 2/3)

series63.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(*.f64 2/5 (pow.f64 x 5))
29.0ms
(*.f64 (pow.f64 x 3) 2/3)

simplify76.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05537600

prune225.0ms

Filtered
40 candidates to 62 candidates (-55.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New62062
Fresh022
Picked011
Done000
Total62365

Merged error: 0b

Counts
65 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt.f64 (-.f64 1 x))
0.0b
(sqrt.f64 (-.f64 1 x))
6.7b
(log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
6.7b
(log.f64 (sqrt.f64 (-.f64 1 x)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity_binary64
51×log-prod_binary64
49×add-sqr-sqrt_binary64
42×sqrt-prod_binary64
36×times-frac_binary64
26×add-cube-cbrt_binary64
14×difference-of-squares_binary64
9×pow1_binary64 distribute-lft-out_binary64
8×add-exp-log_binary64 sqrt-div_binary64
7×distribute-lft-out--_binary64
4×add-log-exp_binary64 flip3--_binary64 log-pow_binary64 add-cbrt-cube_binary64 flip--_binary64
3×pow1/2_binary64 rem-log-exp_binary64 sqrt-pow1_binary64 log-div_binary64
2×associate-/r/_binary64 rem-sqrt-square_binary64
1×div-inv_binary64 div-exp_binary64
Counts
4 → 111
Calls
4 calls:
4.0ms
(sqrt.f64 (-.f64 1 x))
4.0ms
(sqrt.f64 (-.f64 1 x))
10.0ms
(log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
5.0ms
(log.f64 (sqrt.f64 (-.f64 1 x)))

series87.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(sqrt.f64 (-.f64 1 x))
12.0ms
(sqrt.f64 (-.f64 1 x))
35.0ms
(log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
27.0ms
(log.f64 (sqrt.f64 (-.f64 1 x)))

simplify77.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050142482

prune39.0ms

Filtered
80 candidates to 123 candidates (-53.8%)

Profiling

Loading profile data...