Details

Time bar (total: 7.7s)

analyze978.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
3.5%96.2%0.2%10
9.8%89.9%0.2%11
14.1%85.7%0.2%12
22.6%77.1%0.2%13
23.7%76%0.2%14

sample34.0ms

Algorithm
intervals
Results
13.0ms206×body80valid
3.0ms23×body640valid
2.0ms21×body320valid
1.0ms18×body80invalid
0.0ms2×body1280valid
0.0ms4×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
0498413
1498413

prune13.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: 7.4b

Counts
2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (+ y (* y (/ (- t z) (- a t)))))
0.0b
(/ (- t z) (- a t))
1.5b
(* y (/ (- t z) (- a t)))
3.4b
(+ y (* y (/ (- t z) (- a t))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
77×add-sqr-sqrt
74×*-un-lft-identity
51×times-frac
31×associate-*r*
28×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
11×add-exp-log add-cbrt-cube add-log-exp
6×pow1
5×associate-/r* associate-/l*
4×sum-log associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv +-commutative flip3-+ div-exp prod-exp cbrt-unprod flip-+ div-inv associate-/l/ unswap-sqr
1×associate-+r+ frac-2neg div-sub associate-*r/ pow-prod-down clear-num *-commutative distribute-lft-out
Counts
4 → 127
Calls
4 calls:
5.0ms
(+ x (+ y (* y (/ (- t z) (- a t)))))
8.0ms
(/ (- t z) (- a t))
13.0ms
(* y (/ (- t z) (- a t)))
3.0ms
(+ y (* y (/ (- t z) (- a t))))

series83.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ x (+ y (* y (/ (- t z) (- a t)))))
9.0ms
(/ (- t z) (- a t))
16.0ms
(* y (/ (- t z) (- a t)))
26.0ms
(+ y (* y (/ (- t z) (- a t))))

simplify45.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
051291617

prune182.0ms

Filtered
96 candidates to 139 candidates (-44.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1318139
Fresh011
Picked101
Done000
Total1329141

Merged error: 3.9b

Counts
141 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
1.5b
(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t)))))
13.5b
(+ y (* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t))))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
65×add-exp-log
35×prod-exp
26×add-cbrt-cube
15×div-exp cbrt-unprod
11×add-sqr-sqrt *-un-lft-identity
10×cbrt-prod
9×pow1
7×cbrt-undiv add-cube-cbrt
6×add-log-exp
4×rec-exp cbrt-div 1-exp associate-*r/
3×associate-*l* pow-prod-down
2×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
1×+-commutative frac-times flip3-+ associate-*r* associate-*l/ sum-log *-commutative flip-+
Counts
4 → 80
Calls
4 calls:
3.0ms
(cbrt (- a t))
3.0ms
(cbrt (- a t))
28.0ms
(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t)))))
3.0ms
(+ y (* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t))))))

series110.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt (- a t))
28.0ms
(cbrt (- a t))
27.0ms
(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t)))))
29.0ms
(+ y (* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- t z) (cbrt (- a t))))))

simplify48.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05558894

prune122.0ms

Filtered
58 candidates to 92 candidates (-58.6%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New90292
Fresh178
Picked011
Done000
Total9110101

Merged error: 3.9b

Counts
101 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

6.1b
(cbrt (* y (/ (- t z) (- a t))))
6.1b
(cbrt (* y (/ (- t z) (- a t))))
6.1b
(cbrt (* y (/ (- t z) (- a t))))
17.1b
(+ y (* (* (cbrt (* y (/ (- t z) (- a t)))) (cbrt (* y (/ (- t z) (- a t))))) (cbrt (* y (/ (- t z) (- a t))))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×cbrt-prod cbrt-div pow1/3 associate-*r/
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 41
Calls
4 calls:
8.0ms
(cbrt (* y (/ (- t z) (- a t))))
10.0ms
(cbrt (* y (/ (- t z) (- a t))))
8.0ms
(cbrt (* y (/ (- t z) (- a t))))
3.0ms
(+ y (* (* (cbrt (* y (/ (- t z) (- a t)))) (cbrt (* y (/ (- t z) (- a t))))) (cbrt (* y (/ (- t z) (- a t))))))

series152.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(cbrt (* y (/ (- t z) (- a t))))
42.0ms
(cbrt (* y (/ (- t z) (- a t))))
39.0ms
(cbrt (* y (/ (- t z) (- a t))))
29.0ms
(+ y (* (* (cbrt (* y (/ (- t z) (- a t)))) (cbrt (* y (/ (- t z) (- a t))))) (cbrt (* y (/ (- t z) (- a t))))))

simplify33.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05410555

prune93.0ms

Filtered
47 candidates to 53 candidates (-12.8%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New52153
Fresh178
Picked011
Done011
Total531063

Merged error: 3.9b

Counts
63 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
7.5b
(* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t))))
12.6b
(+ y (* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
141×add-sqr-sqrt
106×times-frac
84×*-un-lft-identity
59×cbrt-prod
48×add-cube-cbrt
46×associate-*r*
43×associate-*l*
30×unpow-prod-down
28×add-exp-log
18×distribute-lft-out-- difference-of-squares unswap-sqr
14×add-cbrt-cube
10×div-exp
8×prod-exp
6×pow1 cbrt-div unpow2 add-log-exp sqr-pow
4×cbrt-undiv cbrt-unprod
3×flip3-- flip--
2×pow-to-exp pow1/3 pow-exp associate-/r/ div-inv
1×+-commutative frac-times flip3-+ associate-*r/ pow-prod-down associate-*l/ sum-log *-commutative flip-+
Counts
4 → 172
Calls
4 calls:
3.0ms
(cbrt (- a t))
3.0ms
(cbrt (- a t))
47.0ms
(* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t))))
3.0ms
(+ y (* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t)))))

series123.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(cbrt (- a t))
27.0ms
(cbrt (- a t))
26.0ms
(* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t))))
34.0ms
(+ y (* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t)))))

simplify74.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049872879
149872879

prune224.0ms

Filtered
140 candidates to 184 candidates (-31.4%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1822184
Fresh077
Picked101
Done022
Total18311194

Merged error: 3.9b

Counts
194 → 11

regimes650.0ms

Accuracy

29.5% (5.7b remaining)

Error of 8.8b against oracle of 3.1b and baseline of 11.2b

bsearch2.7s

Steps
ItersRangePoint
8
1.5934201421744648e-156
3.12323905968927e-152
5.263488268156357e-155
9
-1.0021832035188867e-114
-1.3948004513820685e-122
-2.821201449218278e-121

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03252
13252

end0.0ms

analyze981.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
3.5%96.2%0.2%10
9.8%89.9%0.2%11
14.1%85.7%0.2%12
22.6%77.1%0.2%13
23.7%76%0.2%14

sample751.0ms

Algorithm
intervals
Results
266.0ms6614×body80valid
72.0ms451×body640valid
51.0ms262×body1280valid
50.0ms426×body320valid
27.0ms715×body80invalid
17.0ms227×body160valid
4.0ms20×body2560valid

Profiling

Loading profile data...