Details

Time bar (total: 8.5s)

analyze2.0s

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
0%99.7%0.3%12
0.8%98.9%0.3%13
1.2%98.5%0.3%14

sample38.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
2.0ms24×body80invalid

simplify121.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
0495655
1495655

prune4.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.0b

Counts
2 → 1

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
0.1b
(*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
1.3b
(*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
24.8b
(/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×pow1_binary64
associate-*r*_binary64 associate-*l*_binary64
flip3-+_binary64 flip-+_binary64
add-log-exp_binary64 cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64 associate-*l/_binary64
pow-prod-down_binary64 associate-/r*_binary64 unswap-sqr_binary64 times-frac_binary64 *-commutative_binary64
associate-/l/_binary64 cbrt-undiv_binary64 associate-/r/_binary64 div-exp_binary64
distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
4 → 87
Calls
4 calls:
12.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
7.0ms
(*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
18.0ms
(*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
31.0ms
(/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

series731.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
40.0ms
(*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
178.0ms
(*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
490.0ms
(/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

simplify117.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
049663033
149663033

prune221.0ms

Filtered
78 candidates to 99 candidates (-26.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New891099
Fresh000
Picked101
Done000
Total9010100

Merged error: 0.2b

Counts
100 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
0.1b
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
0.2b
(/.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))
23.7b
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac_binary64
64×add-sqr-sqrt_binary64
60×*-un-lft-identity_binary64 add-cube-cbrt_binary64
18×associate-/r*_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
11×associate-/r/_binary64
flip3-+_binary64 pow1_binary64 flip-+_binary64
associate-*r*_binary64 associate-*l*_binary64 associate-/l*_binary64 div-inv_binary64
add-log-exp_binary64 cbrt-undiv_binary64 associate-*r/_binary64 div-exp_binary64
pow-prod-down_binary64 associate-/l/_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 153
Calls
4 calls:
10.0ms
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
7.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
29.0ms
(/.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))
31.0ms
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))

series656.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
39.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
479.0ms
(/.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))
123.0ms
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))

simplify179.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
049249672
149249672

prune412.0ms

Filtered
127 candidates to 165 candidates (-29.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1632165
Fresh279
Picked101
Done000
Total1669175

Merged error: 0.2b

Counts
175 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
0.1b
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
0.2b
(*.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
23.6b
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64 add-cube-cbrt_binary64
21×associate-*r*_binary64
19×times-frac_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
10×pow1_binary64
associate-*l*_binary64
flip3-+_binary64 associate-*r/_binary64 flip-+_binary64
add-log-exp_binary64 cbrt-unprod_binary64 associate-/r/_binary64 unswap-sqr_binary64 prod-exp_binary64
pow-prod-down_binary64 associate-/r*_binary64 associate-/l*_binary64 *-commutative_binary64
associate-/l/_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-inv_binary64 div-exp_binary64
clear-num_binary64 frac-2neg_binary64
Counts
4 → 109
Calls
4 calls:
11.0ms
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
8.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
34.0ms
(*.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
30.0ms
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

series693.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328))
38.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
476.0ms
(*.f64 y (/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
162.0ms
(/.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

simplify137.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
049174885
149174885

prune232.0ms

Filtered
90 candidates to 121 candidates (-34.4%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1192121
Fresh178
Picked011
Done000
Total12010130

Merged error: 0.2b

Counts
130 → 10

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
0.2b
(/.f64 y (*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))))
0.3b
(/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))
23.5b
(*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log_binary64
33×add-sqr-sqrt_binary64
25×*-un-lft-identity_binary64
24×add-cube-cbrt_binary64
23×times-frac_binary64
22×add-cbrt-cube_binary64
18×associate-*r*_binary64
11×div-exp_binary64
10×associate-/r/_binary64
pow1_binary64 prod-exp_binary64
flip3-+_binary64 flip-+_binary64
cbrt-undiv_binary64 associate-*l*_binary64 associate-/l*_binary64
cbrt-unprod_binary64
associate-/r*_binary64 add-log-exp_binary64 associate-*r/_binary64 unswap-sqr_binary64 frac-times_binary64 associate-*l/_binary64
1-exp_binary64 rec-exp_binary64 div-inv_binary64
pow-prod-down_binary64 clear-num_binary64 frac-2neg_binary64 un-div-inv_binary64 *-commutative_binary64
distribute-lft-in_binary64 distribute-rgt-in_binary64 inv-pow_binary64 pow-flip_binary64
Counts
4 → 128
Calls
4 calls:
7.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
32.0ms
(/.f64 y (*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))))
16.0ms
(/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))
37.0ms
(*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))

series692.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
473.0ms
(/.f64 y (*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))))
59.0ms
(/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))
124.0ms
(*.f64 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496) (/.f64 1 (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b)))

simplify136.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
049425636
149425636

prune208.0ms

Filtered
89 candidates to 140 candidates (-57.3%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1400140
Fresh088
Picked011
Done011
Total14010150

Merged error: 0.2b

Counts
150 → 10

regimes414.0ms

Accuracy

97.6% (0.7b remaining)

Error of 1.0b against oracle of 0.3b and baseline of 27.9b

bsearch67.0ms

Steps
ItersRangePoint
5
8.48787443428423e+51
3.369052789054183e+52
1.016234959932007e+52
9
-2.5557578324916443e+47
-2.8975005696865233e+38
-1.164610747723611e+46

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07191
17191

end0.0ms

sample1.1s

Algorithm
intervals
Results
691.0ms8000×body80valid
68.0ms817×body80invalid

Profiling

Loading profile data...