Details

Time bar (total: 1.3s)

analyze51.0ms (4.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
37.5%62.4%0.1%5
56.2%43.7%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
74.9%15.6%9.5%9
79.6%10.9%9.5%10
81.2%7.8%11%11
83.5%5.5%11%12
84.3%3.9%11.8%13
85.5%2.7%11.8%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample12.0ms (0.9%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
0.0ms4×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify106.0ms (8.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
01287
11287

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 x (-.f64 1 y))

rewrite10.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_6920
8×*-un-lft-identity_binary64_6898
6×associate-*r*_binary64_6838 cancel-sign-sub-inv_binary64_6864
5×add-cube-cbrt_binary64_6933
4×distribute-lft-in_binary64_6847 distribute-rgt-in_binary64_6848
3×pow1_binary64_6959 add-exp-log_binary64_6936 add-cbrt-cube_binary64_6934 associate-*l*_binary64_6839
2×sub-neg_binary64_6891 associate-*r/_binary64_6840 difference-of-squares_binary64_6867
1×prod-exp_binary64_6947 add-log-exp_binary64_6937 distribute-lft-out--_binary64_6850 flip--_binary64_6873 unswap-sqr_binary64_6866 cbrt-unprod_binary64_6931 *-commutative_binary64_6829 flip3--_binary64_6902 pow-prod-down_binary64_6969
Counts
1 → 31
Calls

1 calls:

8.0ms
(*.f64 x (-.f64 1 y))

series61.0ms (4.8%)

Counts
1 → 9
Calls

1 calls:

60.0ms
(*.f64 x (-.f64 1 y))
Compiler

Compiled 73 to 68 computations (6.8% saved)

simplify67.0ms (5.3%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04903323
14903323

prune29.0ms (2.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh000
Picked101
Done000
Total39241

Merged error: 0b

Counts
41 → 2
Compiler

Compiled 332 to 188 computations (43.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 x (*.f64 x (neg.f64 y)))

rewrite4.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_6937
1×unsub-neg_binary64_6892 flip-+_binary64_6872 distribute-rgt-neg-out_binary64_6858 add-cube-cbrt_binary64_6933 +-commutative_binary64_6828 pow1_binary64_6959 add-exp-log_binary64_6936 add-sqr-sqrt_binary64_6920 add-cbrt-cube_binary64_6934 flip3-+_binary64_6901 sum-log_binary64_6989 *-un-lft-identity_binary64_6898
Counts
1 → 12
Calls

1 calls:

3.0ms
(+.f64 x (*.f64 x (neg.f64 y)))

series54.0ms (4.2%)

Counts
1 → 9
Calls

1 calls:

54.0ms
(+.f64 x (*.f64 x (neg.f64 y)))
Compiler

Compiled 69 to 64 computations (7.2% saved)

simplify84.0ms (6.6%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04810186
14810186

prune14.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New21021
Fresh011
Picked011
Done000
Total21223

Merged error: 0b

Counts
23 → 2
Compiler

Compiled 174 to 67 computations (61.5% saved)

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

5.2b
(*.f64 x (-.f64 1 (*.f64 y y)))
10.1b
(/.f64 (*.f64 x (-.f64 1 (*.f64 y y))) (+.f64 1 y))

rewrite19.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64_6898
9×add-exp-log_binary64_6936 add-sqr-sqrt_binary64_6920 add-cbrt-cube_binary64_6934
6×add-cube-cbrt_binary64_6933
5×associate-*r*_binary64_6838
4×pow1_binary64_6959 associate-*r/_binary64_6840 associate-/r*_binary64_6842 times-frac_binary64_6904
3×associate-*l*_binary64_6839
2×sub-neg_binary64_6891 prod-exp_binary64_6947 distribute-lft-out_binary64_6849 div-exp_binary64_6949 add-log-exp_binary64_6937 flip--_binary64_6873 cbrt-undiv_binary64_6932 associate-/r/_binary64_6844 distribute-lft-in_binary64_6847 cbrt-unprod_binary64_6931 cancel-sign-sub-inv_binary64_6864 flip3--_binary64_6902 difference-of-squares_binary64_6867 associate-/l/_binary64_6845 distribute-rgt-in_binary64_6848
1×flip-+_binary64_6872 flip3-+_binary64_6901 unswap-sqr_binary64_6866 *-commutative_binary64_6829 clear-num_binary64_6897 pow-prod-down_binary64_6969 frac-2neg_binary64_6909 div-inv_binary64_6895 associate-/l*_binary64_6843
Counts
2 → 53
Calls

2 calls:

9.0ms
(/.f64 (*.f64 x (-.f64 1 (*.f64 y y))) (+.f64 1 y))
6.0ms
(*.f64 x (-.f64 1 (*.f64 y y)))

series192.0ms (15.1%)

Counts
2 → 16
Calls

2 calls:

129.0ms
(/.f64 (*.f64 x (-.f64 1 (*.f64 y y))) (+.f64 1 y))
62.0ms
(*.f64 x (-.f64 1 (*.f64 y y)))
Compiler

Compiled 250 to 223 computations (10.8% saved)

simplify51.0ms (4%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05675916

prune49.0ms (3.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New69069
Fresh000
Picked011
Done011
Total69271

Merged error: 0b

Counts
71 → 2
Compiler

Compiled 970 to 555 computations (42.8% saved)

regimes53.0ms (4.1%)

Compiler

Compiled 144 to 141 computations (2.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0327
1327

end0.0ms (0%)

sample394.0ms (31.1%)

Algorithm
1×intervals
Results
164.0ms8000×body128valid
1.0ms67×body128invalid
Compiler

Compiled 39 to 37 computations (5.1% saved)

Profiling

Loading profile data...