Details

Time bar (total: 16.4s)

analyze4.4s (26.8%)

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

Compiled 32 to 30 computations (6.3% saved)

sample153.0ms (0.9%)

Algorithm
1×intervals
Results
43.0ms270×body128invalid
41.0ms256×body128valid
Compiler

Compiled 63 to 69 computations (-9.5% saved)

simplify1.3s (8.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (819.0ms)

IterNodesCost
0306443
1306443

prune9.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 5.1b

Counts
2 → 1
Compiler

Compiled 58 to 56 computations (3.4% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 x 18) y)
0.2b
(*.f64 (*.f64 j 27) k)
2.9b
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
5.3b
(*.f64 (*.f64 (*.f64 x 18) y) z)

rewrite80.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-exp-log_binary64_16143 pow1_binary64_16166 add-cbrt-cube_binary64_16141
13×cbrt-unprod_binary64_16138 pow-prod-down_binary64_16176 prod-exp_binary64_16154
12×associate-*r*_binary64_16045
11×add-sqr-sqrt_binary64_16127
9×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140
6×associate-*l*_binary64_16046
4×add-log-exp_binary64_16144 *-commutative_binary64_16036
2×associate-*r/_binary64_16047 distribute-lft-in_binary64_16054 distribute-rgt-in_binary64_16055 sub-neg_binary64_16098 cancel-sign-sub-inv_binary64_16071
1×flip--_binary64_16080 flip3--_binary64_16109 unswap-sqr_binary64_16073
Counts
4 → 81
Calls

4 calls:

22.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
15.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
10.0ms
(*.f64 (*.f64 x 18) y)
10.0ms
(*.f64 (*.f64 j 27) k)

series331.0ms (2%)

Counts
4 → 12
Calls

4 calls:

221.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
52.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
29.0ms
(*.f64 (*.f64 j 27) k)
28.0ms
(*.f64 (*.f64 x 18) y)

simplify118.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
051581201

prune312.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New84993
Fresh000
Picked101
Done000
Total85994

Merged error: 2.2b

Counts
94 → 9
Compiler

Compiled 3405 to 2162 computations (36.5% saved)

localize43.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 j (*.f64 27 k))
0.2b
(*.f64 (*.f64 x 18) y)
2.9b
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
5.3b
(*.f64 (*.f64 (*.f64 x 18) y) z)

rewrite74.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-exp-log_binary64_16143 pow1_binary64_16166 add-cbrt-cube_binary64_16141
13×cbrt-unprod_binary64_16138 pow-prod-down_binary64_16176 prod-exp_binary64_16154
11×add-sqr-sqrt_binary64_16127
10×associate-*r*_binary64_16045
9×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140
8×associate-*l*_binary64_16046
4×add-log-exp_binary64_16144 *-commutative_binary64_16036
2×associate-*r/_binary64_16047 distribute-lft-in_binary64_16054 distribute-rgt-in_binary64_16055 sub-neg_binary64_16098 cancel-sign-sub-inv_binary64_16071
1×flip--_binary64_16080 flip3--_binary64_16109 unswap-sqr_binary64_16073
Counts
4 → 81
Calls

4 calls:

20.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
14.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
14.0ms
(*.f64 j (*.f64 27 k))
10.0ms
(*.f64 (*.f64 x 18) y)

series342.0ms (2.1%)

Counts
4 → 12
Calls

4 calls:

228.0ms
(*.f64 t (-.f64 (*.f64 (*.f64 (*.f64 x 18) y) z) (*.f64 a 4)))
51.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
34.0ms
(*.f64 (*.f64 x 18) y)
29.0ms
(*.f64 j (*.f64 27 k))

simplify120.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
050491199

prune269.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New93093
Fresh088
Picked011
Done000
Total939102

Merged error: 2.2b

Counts
102 → 9
Compiler

Compiled 3378 to 2136 computations (36.8% saved)

localize53.0ms (0.3%)

Local error

Found 4 expressions with local error:

5.3b
(*.f64 (*.f64 (*.f64 x 18) y) z)
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))

rewrite56.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_16143 pow1_binary64_16166 add-cbrt-cube_binary64_16141
6×cbrt-unprod_binary64_16138 pow-prod-down_binary64_16176 prod-exp_binary64_16154
5×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140 add-sqr-sqrt_binary64_16127
4×add-log-exp_binary64_16144
3×pow1/3_binary64_16187 associate-*r*_binary64_16045 cbrt-prod_binary64_16136
1×*-commutative_binary64_16036 associate-*l*_binary64_16046
Counts
4 → 48
Calls

4 calls:

14.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
11.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
10.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
10.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))

series652.0ms (4%)

Counts
4 → 12
Calls

4 calls:

213.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
202.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
184.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
52.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)

simplify170.0ms (1%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (144.0ms)

IterNodesCost
04969776
14969776

prune239.0ms (1.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New59160
Fresh077
Picked011
Done011
Total591069

Merged error: 2.2b

Counts
69 → 10
Compiler

Compiled 3404 to 2237 computations (34.3% saved)

localize64.0ms (0.4%)

Local error

Found 4 expressions with local error:

5.3b
(*.f64 (*.f64 (*.f64 x 18) y) z)
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
14.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))

rewrite73.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_16143 pow1_binary64_16166 add-cbrt-cube_binary64_16141
6×cbrt-unprod_binary64_16138 pow-prod-down_binary64_16176 prod-exp_binary64_16154
5×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140 add-sqr-sqrt_binary64_16127
4×add-log-exp_binary64_16144
3×pow1/3_binary64_16187 associate-*r*_binary64_16045 cbrt-prod_binary64_16136
1×*-commutative_binary64_16036 associate-*l*_binary64_16046
Counts
4 → 48
Calls

4 calls:

25.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
14.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)
10.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
10.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))

series639.0ms (3.9%)

Counts
4 → 12
Calls

4 calls:

241.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 x 18) y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
195.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
154.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x 18) y) z))
48.0ms
(*.f64 (*.f64 (*.f64 x 18) y) z)

simplify86.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04953793
14953793

prune192.0ms (1.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New60060
Fresh077
Picked011
Done022
Total601070

Merged error: 2.2b

Counts
70 → 10
Compiler

Compiled 3462 to 2019 computations (41.7% saved)

regimes1.9s (11.6%)

Compiler

Compiled 15536 to 14472 computations (6.8% saved)

bsearch5.0ms (0%)

Compiler

Compiled 25 to 25 computations (0% saved)

simplify10.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0222116
1222116

end0.0ms (0%)

sample4.7s (28.3%)

Algorithm
1×intervals
Results
1.1s8122×body128invalid
1.1s8000×body128valid
Compiler

Compiled 1066 to 939 computations (11.9% saved)

Profiling

Loading profile data...