Details

Time bar (total: 12.9s)

analyze1.4s (10.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0382400
1382400
066
166
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
5.8%93.9%0.3%11
8.4%91.3%0.3%12
9.7%90%0.3%13
10.7%89%0.3%14
Compiler

Compiled 18 to 16 computations (11.1% saved)

sample30.0ms (0.2%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
1.0ms13×body128invalid
Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify8.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
04825
14825

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
16.1b
Counts
2 → 1
Compiler

Compiled 34 to 30 computations (11.8% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

4.9b
(/.f64 (*.f64 y z) t)
5.1b
(/.f64 (*.f64 y b) t)
11.6b
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite160.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
12.4b
Rules
55×*-un-lft-identity_binary64_18151
26×times-frac_binary64_18157
21×distribute-lft-out_binary64_18102
18×add-cube-cbrt_binary64_18186 add-sqr-sqrt_binary64_18173
15×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
11×associate-/r*_binary64_18095
6×associate-/l*_binary64_18096
5×div-exp_binary64_18202 cbrt-undiv_binary64_18185
4×associate-/r/_binary64_18097
3×pow1_binary64_18212 add-log-exp_binary64_18190 frac-2neg_binary64_18162 clear-num_binary64_18150 div-inv_binary64_18148 flip3-+_binary64_18154 flip-+_binary64_18125
2×associate-/l/_binary64_18098 frac-add_binary64_18159 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
3 → 89
Calls

3 calls:

14.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
4.0ms
(/.f64 (*.f64 y z) t)
4.0ms
(/.f64 (*.f64 y b) t)
Compiler

Compiled 2426 to 795 computations (67.2% saved)

series1.1s (8.7%)

Error
2.6b
Counts
3 → 57
Calls

3 calls:

842.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
107.0ms
(/.f64 (*.f64 y b) t)
97.0ms
(/.f64 (*.f64 y z) t)
Compiler

Compiled 5254 to 3477 computations (33.8% saved)

simplify68.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
052803687

prune160.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1379146
Fresh000
Picked101
Done000
Total1389147
Error
1.6b
Counts
147 → 9
Compiler

Compiled 3694 to 1190 computations (67.8% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

3.1b
(/.f64 y (/.f64 t b))
4.9b
(/.f64 (*.f64 y z) t)
11.6b
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite201.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
1.2b
Rules
98×times-frac_binary64_18157
95×*-un-lft-identity_binary64_18151
58×add-cube-cbrt_binary64_18186 add-sqr-sqrt_binary64_18173
21×distribute-lft-out_binary64_18102 associate-/r*_binary64_18095
15×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
8×associate-/l*_binary64_18096
7×div-inv_binary64_18148
6×div-exp_binary64_18202 cbrt-undiv_binary64_18185
5×associate-/r/_binary64_18097
3×pow1_binary64_18212 add-log-exp_binary64_18190 frac-2neg_binary64_18162 clear-num_binary64_18150 flip3-+_binary64_18154 flip-+_binary64_18125
2×associate-/l/_binary64_18098 frac-add_binary64_18159
1×prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
3 → 138
Calls

3 calls:

27.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
6.0ms
(/.f64 y (/.f64 t b))
4.0ms
(/.f64 (*.f64 y z) t)
Compiler

Compiled 3815 to 1206 computations (68.4% saved)

series1.1s (8.7%)

Error
1.2b
Counts
3 → 57
Calls

3 calls:

846.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
111.0ms
(/.f64 y (/.f64 t b))
104.0ms
(/.f64 (*.f64 y z) t)
Compiler

Compiled 5254 to 3479 computations (33.8% saved)

simplify98.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
195 → 195
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049834973
149834973

prune190.0ms (1.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1923195
Fresh268
Picked011
Done000
Total19410204
Error
1.2b
Counts
204 → 10
Compiler

Compiled 5228 to 1560 computations (70.2% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 t)
3.1b
(/.f64 y (/.f64 t b))
4.9b
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
11.6b
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite277.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
1.2b
Rules
118×times-frac_binary64_18157
92×*-un-lft-identity_binary64_18151
88×add-sqr-sqrt_binary64_18173
72×add-cube-cbrt_binary64_18186
32×add-exp-log_binary64_18189
25×add-cbrt-cube_binary64_18187
22×associate-*r*_binary64_18091
18×associate-/r*_binary64_18095
14×cbrt-prod_binary64_18182
12×distribute-lft-out_binary64_18102
11×div-exp_binary64_18202 cbrt-undiv_binary64_18185
8×div-inv_binary64_18148 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
7×associate-*l*_binary64_18092
6×pow1_binary64_18212 associate-/l*_binary64_18096 unswap-sqr_binary64_18119
5×associate-/r/_binary64_18097
4×add-log-exp_binary64_18190
3×flip3-+_binary64_18154 flip-+_binary64_18125
2×frac-2neg_binary64_18162 clear-num_binary64_18150 associate-/l/_binary64_18098 frac-add_binary64_18159
1×pow-prod-down_binary64_18222 frac-times_binary64_18161 associate-*l/_binary64_18094 associate-*r/_binary64_18093 *-commutative_binary64_18082 pow1/3_binary64_18233
Counts
4 → 181
Calls

4 calls:

23.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
17.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
6.0ms
(/.f64 y (/.f64 t b))
1.0ms
(cbrt.f64 t)
Compiler

Compiled 6464 to 1578 computations (75.6% saved)

series1.2s (9.7%)

Error
0.7b
Counts
4 → 60
Calls

4 calls:

858.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
130.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
113.0ms
(/.f64 y (/.f64 t b))
80.0ms
(cbrt.f64 t)
Compiler

Compiled 5724 to 3741 computations (34.6% saved)

simplify78.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050145610

prune262.0ms (2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New2410241
Fresh088
Picked011
Done011
Total24110251
Error
1.2b
Counts
251 → 10
Compiler

Compiled 7217 to 2077 computations (71.2% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

3.1b
(/.f64 y (/.f64 t b))
4.0b
(*.f64 y (/.f64 z t))
11.6b
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite208.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
1.2b
Rules
100×times-frac_binary64_18157
83×*-un-lft-identity_binary64_18151
68×add-sqr-sqrt_binary64_18173
63×add-cube-cbrt_binary64_18186
18×associate-/r*_binary64_18095
15×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
13×associate-*r*_binary64_18091
12×distribute-lft-out_binary64_18102
7×div-inv_binary64_18148
6×associate-/l*_binary64_18096
5×pow1_binary64_18212 div-exp_binary64_18202 cbrt-undiv_binary64_18185 associate-/r/_binary64_18097
3×add-log-exp_binary64_18190 flip3-+_binary64_18154 flip-+_binary64_18125 associate-*l*_binary64_18092
2×frac-2neg_binary64_18162 clear-num_binary64_18150 associate-/l/_binary64_18098 frac-add_binary64_18159 prod-exp_binary64_18200 cbrt-unprod_binary64_18184 unswap-sqr_binary64_18119
1×pow-prod-down_binary64_18222 associate-*r/_binary64_18093 *-commutative_binary64_18082
Counts
3 → 143
Calls

3 calls:

28.0ms
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
8.0ms
(*.f64 y (/.f64 z t))
6.0ms
(/.f64 y (/.f64 t b))
Compiler

Compiled 3951 to 1245 computations (68.5% saved)

series1.1s (8.9%)

Error
0.7b
Counts
3 → 57
Calls

3 calls:

864.0ms
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
111.0ms
(*.f64 y (/.f64 z t))
107.0ms
(/.f64 y (/.f64 t b))
Compiler

Compiled 5254 to 3479 computations (33.8% saved)

simplify82.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
200 → 200
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
050154892

prune191.0ms (1.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1991200
Fresh077
Picked101
Done022
Total20010210
Error
1.2b
Counts
210 → 10
Compiler

Compiled 5188 to 1447 computations (72.1% saved)

regimes2.0s (15.7%)

Accuracy

Total 7.0b remaining (90.5%)

Threshold costs 0b (0%)

Compiler

Compiled 19898 to 14055 computations (29.4% saved)

bsearch8.0ms (0.1%)

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03991
13991

end0.0ms (0%)

sample2.7s (21.4%)

Algorithm
1×intervals
Results
453.0ms8000×body128valid
15.0ms280×body128invalid
Compiler

Compiled 2588 to 1815 computations (29.9% saved)

Profiling

Loading profile data...