Details

Time bar (total: 4.0s)

analyze261.0ms (6.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample32.0ms (0.8%)

Algorithm
1×intervals
Results
12.0ms249×body128valid
9.0ms285×pre128true
1.0ms29×body128nan
1.0ms7×body256valid
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify429.0ms (10.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (261.0ms)

IterNodesCost
0170724
1170724

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 27.8b

Counts
2 → 1
Compiler

Compiled 32 to 26 computations (18.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.3b
(*.f64 (*.f64 3 a) c)
0.4b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
27.7b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite42.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64_2120
14×add-cbrt-cube_binary64_2132 add-exp-log_binary64_2134
13×*-un-lft-identity_binary64_2099
9×pow1_binary64_2157
8×add-log-exp_binary64_2135
7×add-cube-cbrt_binary64_2131
6×difference-of-squares_binary64_2068 times-frac_binary64_2105 associate-/l*_binary64_2046
4×prod-exp_binary64_2145 cbrt-unprod_binary64_2129
3×pow-prod-down_binary64_2167 flip3--_binary64_2103 flip--_binary64_2074 associate-*r*_binary64_2041 distribute-lft-out--_binary64_2053 sqrt-prod_binary64_2114
2×sub-neg_binary64_2092 cbrt-undiv_binary64_2130 div-exp_binary64_2147 associate-/l/_binary64_2048 diff-log_binary64_2188
1×associate-*l*_binary64_2042 *-commutative_binary64_2032 frac-2neg_binary64_2110 div-sub_binary64_2104 associate-/r*_binary64_2045 clear-num_binary64_2098 div-inv_binary64_2096
Counts
4 → 73
Calls

4 calls:

13.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
6.0ms
(*.f64 (*.f64 3 a) c)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))

series455.0ms (11.5%)

Counts
4 → 12
Calls

4 calls:

216.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
134.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
70.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
35.0ms
(*.f64 (*.f64 3 a) c)

simplify55.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
049251807
149251807

prune128.0ms (3.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New701585
Fresh000
Picked101
Done000
Total711586

Merged error: 9.1b

Counts
86 → 15
Compiler

Compiled 2354 to 1441 computations (38.8% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune22.0ms (0.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01414
Picked011
Done000
Total01515

Merged error: 9.1b

Counts
15 → 15
Compiler

Compiled 440 to 311 computations (29.3% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b
(/.f64 (*.f64 a c) b)
0.3b
(*.f64 -3/2 (/.f64 (*.f64 a c) b))
0.4b
(/.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (*.f64 3 a))

rewrite29.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
49×add-cbrt-cube_binary64_2132 add-exp-log_binary64_2134
17×prod-exp_binary64_2145 cbrt-unprod_binary64_2129
16×cbrt-undiv_binary64_2130 div-exp_binary64_2147
10×add-sqr-sqrt_binary64_2120
8×add-cube-cbrt_binary64_2131 *-un-lft-identity_binary64_2099
7×times-frac_binary64_2105 associate-*r*_binary64_2041
5×pow1_binary64_2157
4×associate-/r*_binary64_2045
3×associate-*l*_binary64_2042 add-log-exp_binary64_2135 div-inv_binary64_2096
2×associate-*r/_binary64_2043 frac-2neg_binary64_2110 clear-num_binary64_2098 associate-/l*_binary64_2046
1×*-commutative_binary64_2032 associate-/l/_binary64_2048 pow-prod-down_binary64_2167 unswap-sqr_binary64_2067
Counts
3 → 78
Calls

3 calls:

10.0ms
(/.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (*.f64 3 a))
7.0ms
(*.f64 -3/2 (/.f64 (*.f64 a c) b))
5.0ms
(/.f64 (*.f64 a c) b)

series123.0ms (3.1%)

Counts
3 → 9
Calls

3 calls:

45.0ms
(*.f64 -3/2 (/.f64 (*.f64 a c) b))
40.0ms
(/.f64 (*.f64 a c) b)
38.0ms
(/.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (*.f64 3 a))

simplify64.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05045877

prune99.0ms (2.5%)

Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New761187
Fresh01313
Picked101
Done101
Total7824102

Merged error: 9.0b

Counts
102 → 24
Compiler

Compiled 1649 to 976 computations (40.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 b (/.f64 3 c))
0.2b
(/.f64 -3/2 (*.f64 b (/.f64 3 c)))

rewrite18.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_2120
16×add-cbrt-cube_binary64_2132 add-exp-log_binary64_2134
13×times-frac_binary64_2105 associate-*r*_binary64_2041
12×add-cube-cbrt_binary64_2131 *-un-lft-identity_binary64_2099
5×cbrt-undiv_binary64_2130 div-exp_binary64_2147
4×pow1_binary64_2157 prod-exp_binary64_2145 cbrt-unprod_binary64_2129
3×associate-*l*_binary64_2042 associate-/l*_binary64_2046
2×associate-*r/_binary64_2043 add-log-exp_binary64_2135 unswap-sqr_binary64_2067 div-inv_binary64_2096
1×*-commutative_binary64_2032 frac-2neg_binary64_2110 associate-/r/_binary64_2047 associate-/r*_binary64_2045 pow-prod-down_binary64_2167 clear-num_binary64_2098
Counts
2 → 56
Calls

2 calls:

7.0ms
(*.f64 b (/.f64 3 c))
7.0ms
(/.f64 -3/2 (*.f64 b (/.f64 3 c)))

series56.0ms (1.4%)

Counts
2 → 6
Calls

2 calls:

28.0ms
(/.f64 -3/2 (*.f64 b (/.f64 3 c)))
28.0ms
(*.f64 b (/.f64 3 c))

simplify98.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
05058605

prune49.0ms (1.2%)

Pruning

31 alts after pruning (30 fresh and 1 done)

PrunedKeptTotal
New521062
Fresh32023
Picked011
Done000
Total553186

Merged error: 9.0b

Counts
86 → 31
Compiler

Compiled 641 to 446 computations (30.4% saved)

regimes373.0ms (9.4%)

Compiler

Compiled 2824 to 2184 computations (22.7% saved)

bsearch11.0ms (0.3%)

Steps
ItersRangePoint
3
18863.07658552566
23149.337602407184
21274.098407521516
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08461
18461

end0.0ms (0%)

sample1.6s (39.8%)

Algorithm
1×intervals
Results
376.0ms7697×body128valid
279.0ms8940×pre128true
46.0ms940×body128nan
28.0ms303×body256valid
Compiler

Compiled 774 to 593 computations (23.4% saved)

Profiling

Loading profile data...