Details

Time bar (total: 8.8s)

analyze897.0ms

Algorithm
search
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
6.2%90.4%3.4%6
6.2%90.4%3.4%7
6.2%88.8%5%8
7.8%77.9%14.3%9
7.8%56.5%35.7%10
7.8%56.5%35.7%11
8.1%41.5%50.3%12
8.3%41.4%50.3%13
8.4%40.2%51.4%14

sample136.0ms

Algorithm
intervals
Results
42.0ms485×body80nan
25.0ms256×body80valid
23.0ms230×body80invalid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
0521724

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (-.f64 t 1) (log.f64 a))
0.3b
(*.f64 y (log.f64 z))
0.7b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.0b
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
20×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
13×add-cbrt-cube_binary64
12×log-prod_binary64 add-exp-log_binary64
10×add-log-exp_binary64 pow1_binary64 associate-*l*_binary64
8×associate-*r*_binary64
6×distribute-lft-in_binary64 distribute-rgt-in_binary64
5×exp-prod_binary64
3×associate-/r*_binary64 cbrt-unprod_binary64 rem-exp-log_binary64 prod-exp_binary64 difference-of-squares_binary64 times-frac_binary64
2×pow-prod-down_binary64 diff-log_binary64 cbrt-undiv_binary64 log-pow_binary64 exp-diff_binary64 unswap-sqr_binary64 exp-sum_binary64 distribute-lft-out--_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-/l/_binary64 sub-neg_binary64 flip3--_binary64 associate-*r/_binary64 difference-of-sqr-1_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 flip--_binary64 associate--l+_binary64 sum-log_binary64
Counts
4 → 96
Calls
4 calls:
8.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
5.0ms
(*.f64 y (log.f64 z))
12.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
8.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))

series502.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
28.0ms
(*.f64 y (log.f64 z))
262.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
174.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))

simplify80.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050071777

prune104.0ms

Filtered
78 candidates to 108 candidates (-38.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1035108
Fresh101
Picked011
Done000
Total1046110

Merged error: 0.0b

Counts
110 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a))
0.2b
(*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a)))))
0.3b
(*.f64 t (log.f64 a))
0.7b
(/.f64 (*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a)) y)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log_binary64
31×add-cbrt-cube_binary64
25×add-sqr-sqrt_binary64
20×prod-exp_binary64
16×*-un-lft-identity_binary64 add-cube-cbrt_binary64
15×associate-*r*_binary64
14×div-exp_binary64
13×associate-*l*_binary64
10×cbrt-unprod_binary64
9×pow1_binary64
8×cbrt-undiv_binary64
6×log-prod_binary64 times-frac_binary64
5×unswap-sqr_binary64
4×add-log-exp_binary64 unpow-prod-down_binary64
3×pow-to-exp_binary64 associate-/r*_binary64 associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-exp_binary64 *-commutative_binary64
2×pow-prod-down_binary64 sqr-pow_binary64 div-inv_binary64
1×associate-/l/_binary64 neg-sub0_binary64 log-pow_binary64 associate-+l-_binary64 exp-diff_binary64 clear-num_binary64 exp-sum_binary64 frac-2neg_binary64 associate-/l*_binary64
Counts
4 → 109
Calls
4 calls:
14.0ms
(*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a))
12.0ms
(*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a)))))
5.0ms
(*.f64 t (log.f64 a))
13.0ms
(/.f64 (*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a)) y)

series701.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a))
135.0ms
(*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a)))))
28.0ms
(*.f64 t (log.f64 a))
293.0ms
(/.f64 (*.f64 x (/.f64 (*.f64 (pow.f64 z y) (exp.f64 (+.f64 (neg.f64 b) (*.f64 t (log.f64 a))))) a)) y)

simplify82.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050982364

prune84.0ms

Filtered
86 candidates to 121 candidates (-40.7%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1183121
Fresh314
Picked101
Done011
Total1225127

Merged error: 0b

Counts
127 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (pow.f64 a t) (exp.f64 b))
0.0b
(/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a)
0.2b
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.7b
(/.f64 (/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a) y)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
131×add-exp-log_binary64
87×times-frac_binary64
80×add-sqr-sqrt_binary64
73×div-exp_binary64
62×prod-exp_binary64
54×*-un-lft-identity_binary64 add-cube-cbrt_binary64
45×add-cbrt-cube_binary64
31×unpow-prod-down_binary64
25×associate-*r*_binary64
22×pow-to-exp_binary64 pow-exp_binary64
17×cbrt-undiv_binary64
15×sqr-pow_binary64 associate-/l*_binary64
12×cbrt-unprod_binary64 unswap-sqr_binary64
9×associate-/r*_binary64
8×div-inv_binary64
7×associate-*l*_binary64
4×add-log-exp_binary64 pow1_binary64
3×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64
2×associate-/l/_binary64
1×*-commutative_binary64
Counts
4 → 210
Calls
4 calls:
10.0ms
(/.f64 (pow.f64 a t) (exp.f64 b))
22.0ms
(/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a)
24.0ms
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
19.0ms
(/.f64 (/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a) y)

series904.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(/.f64 (pow.f64 a t) (exp.f64 b))
265.0ms
(/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a)
208.0ms
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
367.0ms
(/.f64 (/.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) a) y)

simplify148.0ms

Algorithm
egg-herbie
Counts
222 → 222
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
050645152

prune118.0ms

Filtered
142 candidates to 222 candidates (-56.3%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2220222
Fresh033
Picked011
Done011
Total2225227

Merged error: 0b

Counts
227 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b))))
0.0b
(*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a))
0.2b
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.7b
(/.f64 (*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a)) y)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
506×add-exp-log_binary64
349×prod-exp_binary64
203×div-exp_binary64
92×add-cbrt-cube_binary64
70×pow-to-exp_binary64 pow-exp_binary64
56×add-sqr-sqrt_binary64
43×cbrt-unprod_binary64
42×times-frac_binary64
39×associate-*r*_binary64
30×*-un-lft-identity_binary64 add-cube-cbrt_binary64
28×1-exp_binary64 rec-exp_binary64
23×cbrt-undiv_binary64
19×unpow-prod-down_binary64
13×associate-*r/_binary64
12×unswap-sqr_binary64
11×pow1_binary64 sqr-pow_binary64 associate-*l*_binary64
4×pow-prod-down_binary64 associate-/l/_binary64 add-log-exp_binary64
3×associate-/r*_binary64 div-inv_binary64 *-commutative_binary64
2×un-div-inv_binary64 frac-times_binary64 associate-*l/_binary64
1×clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64
Counts
4 → 276
Calls
4 calls:
12.0ms
(*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b))))
18.0ms
(*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a))
15.0ms
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
20.0ms
(/.f64 (*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a)) y)

series973.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b))))
252.0ms
(*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a))
177.0ms
(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))
310.0ms
(/.f64 (*.f64 (*.f64 x (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) (exp.f64 b)))) (/.f64 1 a)) y)

simplify156.0ms

Algorithm
egg-herbie
Counts
288 → 288
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
049766321
149766321

prune95.0ms

Filtered
107 candidates to 288 candidates (-169.2%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New2880288
Fresh022
Picked011
Done022
Total2885293

Merged error: 0b

Counts
293 → 5

regimes156.0ms

Accuracy

77.9% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.0b

bsearch1.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06784
16784

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.0s14780×body80nan
655.0ms8000×body80valid
578.0ms7148×body80invalid

Profiling

Loading profile data...