Details

Time bar (total: 5.1s)

analyze1.5s

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
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
0%99.7%0.3%11
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14

sample28.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
0528421

prune13.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 26.2b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 t y) a)
1.9b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
2.0b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
24.5b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity_binary64
18×add-sqr-sqrt_binary64
16×add-cube-cbrt_binary64
15×times-frac_binary64
13×distribute-lft-out_binary64
11×add-log-exp_binary64
10×associate-*l/_binary64
8×add-exp-log_binary64 add-cbrt-cube_binary64
7×flip3-+_binary64 flip-+_binary64
6×pow1_binary64
5×associate-/r*_binary64
4×frac-add_binary64 associate-*l*_binary64
3×associate-*r*_binary64 associate-/l*_binary64
2×associate-/l/_binary64 flip3--_binary64 diff-log_binary64 associate-/r/_binary64 flip--_binary64 sum-log_binary64
1×pow-prod-down_binary64 sub-neg_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 associate--l+_binary64 *-commutative_binary64
Counts
4 → 89
Calls
4 calls:
7.0ms
(*.f64 (+.f64 t y) a)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
12.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
17.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series235.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(*.f64 (+.f64 t y) a)
21.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
34.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
172.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

simplify48.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
053332056

prune152.0ms

Filtered
78 candidates to 101 candidates (-29.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New929101
Fresh000
Picked101
Done000
Total939102

Merged error: 7.5b

Counts
102 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 y t) a)
1.9b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
8.1b
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
22.3b
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64 times-frac_binary64
19×distribute-lft-out_binary64
18×add-cube-cbrt_binary64 associate-*l/_binary64
13×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip-+_binary64
10×associate-/r*_binary64
8×frac-add_binary64
6×associate-/l/_binary64 add-log-exp_binary64 pow1_binary64
4×associate-/r/_binary64 associate-*l*_binary64 associate-/l*_binary64
3×associate-*r*_binary64 cbrt-undiv_binary64 div-exp_binary64
2×cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
1×pow-prod-down_binary64 unswap-sqr_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 106
Calls
4 calls:
7.0ms
(*.f64 (+.f64 y t) a)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
9.0ms
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
15.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

series120.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(*.f64 (+.f64 y t) a)
19.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
20.0ms
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
74.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

simplify35.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
050631882

prune129.0ms

Filtered
83 candidates to 118 candidates (-42.2%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1171118
Fresh088
Picked101
Done000
Total1189127

Merged error: 4.8b

Counts
127 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 y t) a)
1.9b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
9.1b
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
22.3b
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity_binary64
33×add-sqr-sqrt_binary64
31×times-frac_binary64
26×add-cube-cbrt_binary64
24×associate-*r*_binary64
22×distribute-lft-out_binary64
18×associate-*l/_binary64
13×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip-+_binary64
8×pow1_binary64 frac-add_binary64
7×associate-*l*_binary64
6×associate-/l/_binary64 add-log-exp_binary64
5×associate-/r*_binary64
4×associate-/r/_binary64
3×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64
2×pow-prod-down_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
1×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 119
Calls
4 calls:
7.0ms
(*.f64 (+.f64 y t) a)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
13.0ms
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
15.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

series122.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(*.f64 (+.f64 y t) a)
22.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
20.0ms
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
73.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

simplify50.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
049881993
149881993

prune128.0ms

Filtered
91 candidates to 131 candidates (-44.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1292131
Fresh268
Picked101
Done000
Total1328140

Merged error: 3.0b

Counts
140 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 t y) a)
1.9b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
2.0b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
24.6b
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity_binary64
25×add-sqr-sqrt_binary64
24×associate-*r*_binary64
17×times-frac_binary64
16×add-cube-cbrt_binary64
15×add-exp-log_binary64
12×associate-*l/_binary64
11×add-log-exp_binary64 add-cbrt-cube_binary64
10×distribute-lft-out_binary64
8×pow1_binary64
7×flip3-+_binary64 associate-*l*_binary64 flip-+_binary64
5×prod-exp_binary64
4×frac-add_binary64 unswap-sqr_binary64
3×flip3--_binary64 cbrt-unprod_binary64 flip--_binary64
2×pow-prod-down_binary64 diff-log_binary64 associate-/r/_binary64 div-exp_binary64 frac-times_binary64 sum-log_binary64 *-commutative_binary64
1×sub-neg_binary64 1-exp_binary64 cbrt-undiv_binary64 associate-*r/_binary64 rec-exp_binary64 un-div-inv_binary64 div-inv_binary64 +-commutative_binary64 associate--l+_binary64
Counts
4 → 97
Calls
4 calls:
6.0ms
(*.f64 (+.f64 t y) a)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
11.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
25.0ms
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))

series236.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(*.f64 (+.f64 t y) a)
19.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
36.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
174.0ms
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))

simplify51.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
051802025

prune88.0ms

Filtered
82 candidates to 109 candidates (-32.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1090109
Fresh077
Picked011
Done000
Total1098117

Merged error: 3.0b

Counts
117 → 8

regimes817.0ms

Accuracy

16% (19.7b remaining)

Error of 22.6b against oracle of 3.0b and baseline of 26.4b

bsearch194.0ms

Steps
ItersRangePoint
10
2.6174641946353975e+251
8.531315470455775e+265
2.6713640281165073e+251
8
3.507976755822114e+218
5.17520835081007e+222
5.097253656774694e+222
4
1.2196504201227766e+23
2.0519231324478794e+23
1.3074456987728244e+23
9
5.647374502642048e-73
7.2961325681286116e-68
4.42050953563121e-70
9
1.1806461168832843e-260
4.2981896172707e-255
4.7718969032047944e-259
10
-1.8438430698562608e-149
-5.12201370620153e-160
-8.356989394689423e-155
9
-5.6494046945394106e-61
-2.6344269242819895e-68
-1.8247044229002758e-63
9
-2.3289396533017203e+160
-7.179816429462429e+151
-7.641226480775408e+152

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113146
1113146

end0.0ms

sample851.0ms

Algorithm
intervals
Results
533.0ms7996×body80valid
1.0ms2×body640valid
0.0ms1×body2560valid
0.0ms1×body160valid

Profiling

Loading profile data...