Details

Time bar (total: 14.4s)

analyze2.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
1.6%98.3%0.1%8
2.3%97.5%0.1%9
7.4%90.9%1.7%10
9.2%87.4%3.5%11
11.7%83.5%4.8%12
15.2%76%8.8%13
16.4%72%11.6%14

sample144.0ms

Algorithm
intervals
Results
54.0ms68×body1280valid
30.0ms58×body640valid
13.0ms107×body80valid
10.0ms15×body320valid
4.0ms31×body80invalid
2.0ms8×body160valid
1.0ms3×body640invalid
1.0ms3×body320invalid
1.0ms1×body1280invalid
0.0ms1×body160invalid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0508625

prune7.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: 31.8b

Counts
2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

2.9b
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
2.9b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
13.5b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
16.2b
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
108×add-exp-log_binary64
58×prod-exp_binary64
52×add-cbrt-cube_binary64
26×cbrt-unprod_binary64
24×div-exp_binary64
21×add-sqr-sqrt_binary64
20×pow1_binary64
19×*-un-lft-identity_binary64
17×times-frac_binary64
16×associate-*l/_binary64
14×add-cube-cbrt_binary64
13×associate-*l*_binary64
11×associate-*r*_binary64
10×pow-prod-down_binary64 unpow-prod-down_binary64 frac-times_binary64
8×pow-to-exp_binary64 cbrt-undiv_binary64 pow-exp_binary64 tan-quot_binary64
7×associate-/l*_binary64
6×associate-*r/_binary64
4×flip3-+_binary64 add-log-exp_binary64 sqr-pow_binary64 unswap-sqr_binary64 flip-+_binary64
3×distribute-lft-out_binary64 *-commutative_binary64
2×div-inv_binary64
1×associate-/r*_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 144
Calls
4 calls:
10.0ms
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
12.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
24.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
7.0ms
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

series385.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
88.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
185.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
48.0ms
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

simplify56.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049842518
149842518

prune215.0ms

Filtered
94 candidates to 156 candidates (-66.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New14610156
Fresh000
Picked101
Done000
Total14710157

Merged error: 16.3b

Counts
157 → 10

localize27.0ms

Local error

Found 4 expressions with local error:

2.9b
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
4.4b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
7.7b
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
13.5b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
304×add-exp-log_binary64
184×prod-exp_binary64
78×add-cbrt-cube_binary64
77×div-exp_binary64
50×add-sqr-sqrt_binary64
49×times-frac_binary64
44×cbrt-unprod_binary64 associate-*l/_binary64
42×*-un-lft-identity_binary64
37×add-cube-cbrt_binary64
36×associate-*l*_binary64
34×frac-times_binary64
33×pow-exp_binary64
29×pow1_binary64
24×unpow-prod-down_binary64
22×pow-to-exp_binary64
17×pow-prod-down_binary64
16×tan-quot_binary64
14×associate-*r/_binary64
12×cbrt-undiv_binary64
11×associate-*r*_binary64
10×cbrt-prod_binary64
8×flip3-+_binary64 sqr-pow_binary64 flip-+_binary64
5×unswap-sqr_binary64 associate-/l*_binary64
4×add-log-exp_binary64
3×associate-/r*_binary64 distribute-lft-out_binary64 *-commutative_binary64
2×div-inv_binary64
1×distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 229
Calls
4 calls:
18.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
5.0ms
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
35.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series420.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
64.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
52.0ms
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
207.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify66.0ms

Algorithm
egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
059495575

prune367.0ms

Filtered
136 candidates to 241 candidates (-77.2%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New2329241
Fresh189
Picked101
Done000
Total23417251

Merged error: 12.5b

Counts
251 → 17

localize25.0ms

Local error

Found 4 expressions with local error:

1.1b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
2.9b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
4.4b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
13.5b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
1050×add-exp-log_binary64
674×times-frac_binary64
554×prod-exp_binary64
435×div-exp_binary64
404×unpow-prod-down_binary64
381×associate-*l*_binary64
343×add-sqr-sqrt_binary64
335×*-un-lft-identity_binary64
330×add-cube-cbrt_binary64
202×cbrt-prod_binary64
151×add-cbrt-cube_binary64
145×pow-to-exp_binary64 pow-exp_binary64
78×cbrt-unprod_binary64
68×sqr-pow_binary64
47×associate-*l/_binary64
37×cbrt-undiv_binary64
35×frac-times_binary64
34×pow1_binary64
20×pow-prod-down_binary64
16×tan-quot_binary64
15×associate-*r/_binary64
12×associate-*r*_binary64 div-inv_binary64
8×flip3-+_binary64 flip-+_binary64
5×unswap-sqr_binary64
4×add-log-exp_binary64 *-commutative_binary64
3×distribute-lft-out_binary64
1×distribute-lft-in_binary64 associate-/r/_binary64 distribute-rgt-in_binary64
Counts
4 → 710
Calls
4 calls:
62.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
46.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
60.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series444.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
97.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
66.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
207.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 l (pow.f64 (cbrt.f64 t) 3.0))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify137.0ms

Algorithm
egg-herbie
Counts
722 → 722
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
0594616565

prune1.9s

Filtered
474 candidates to 722 candidates (-52.3%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New71012722
Fresh7916
Picked101
Done000
Total71821739

Merged error: 11.2b

Counts
739 → 21

localize43.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow.f64 (cbrt.f64 t) 3.0)
2.9b
(*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k))
4.4b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
13.5b
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
3302×add-exp-log_binary64
2118×prod-exp_binary64
1278×cbrt-unprod_binary64
1216×add-cbrt-cube_binary64
887×div-exp_binary64
493×cbrt-undiv_binary64
132×associate-*l/_binary64
98×frac-times_binary64
68×pow-to-exp_binary64 pow-exp_binary64
65×pow1_binary64
46×pow-prod-down_binary64 associate-*r/_binary64
43×add-sqr-sqrt_binary64
36×associate-*l*_binary64
35×*-un-lft-identity_binary64
34×times-frac_binary64
32×tan-quot_binary64
30×add-cube-cbrt_binary64
26×unpow-prod-down_binary64
16×flip3-+_binary64 flip-+_binary64
13×cbrt-prod_binary64
11×associate-*r*_binary64
5×sqr-pow_binary64 unswap-sqr_binary64
4×add-log-exp_binary64
3×pow-unpow_binary64 distribute-lft-out_binary64 *-commutative_binary64
2×pow-pow_binary64
1×pow1/3_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-inv_binary64
Counts
4 → 760
Calls
4 calls:
3.0ms
(pow.f64 (cbrt.f64 t) 3.0)
68.0ms
(*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
89.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series442.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(pow.f64 (cbrt.f64 t) 3.0)
107.0ms
(*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k))
71.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
215.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify293.0ms

Algorithm
egg-herbie
Counts
772 → 772
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
0496842480
1496842480

prune1.6s

Filtered
280 candidates to 772 candidates (-175.7%)
Pruning

28 alts after pruning (28 fresh and 0 done)

PrunedKeptTotal
New76210772
Fresh21820
Picked101
Done000
Total76528793

Merged error: 9.6b

Counts
793 → 28

regimes808.0ms

Accuracy

49.4% (4.6b remaining)

Error of 12.6b against oracle of 8.0b and baseline of 17.0b

bsearch156.0ms

Steps
ItersRangePoint
6
0.14627509017929563
0.5888417647138998
0.1482355226089767
9
-4.4252171937809734e-124
-3.5860364826211243e-131
-7.399879496769818e-126

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
064106
164106

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.6s1989×body1280valid
882.0ms1603×body640valid
426.0ms3292×body80valid
300.0ms747×body320valid
165.0ms1353×body80invalid
102.0ms369×body160valid
67.0ms130×body640invalid
46.0ms117×body320invalid
19.0ms25×body1280invalid
16.0ms61×body160invalid

Profiling

Loading profile data...