Details

Time bar (total: 7.5s)

analyze919.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

sample28.0ms

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

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
0498413
1498413

prune12.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

localize13.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))))

rewrite32.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)))))
7.0ms
(/ (- t z) (- a t))
12.0ms
(* y (/ (- t z) (- a t)))
3.0ms
(+ y (* y (/ (- t z) (- a t))))

series82.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ x (+ y (* y (/ (- t z) (- a t)))))
11.0ms
(/ (- t z) (- a t))
15.0ms
(* y (/ (- t z) (- a t)))
22.0ms
(+ y (* y (/ (- t z) (- a t))))

simplify38.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
051291617

prune175.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

localize16.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))))))

rewrite35.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))
23.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))))))

series109.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05558894

prune119.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))))))

rewrite27.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))))
8.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))))))

series151.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(cbrt (* y (/ (- t z) (- a t))))
40.0ms
(cbrt (* y (/ (- t z) (- a t))))
40.0ms
(cbrt (* y (/ (- t z) (- a t))))
30.0ms
(+ y (* (* (cbrt (* y (/ (- t z) (- a t)))) (cbrt (* y (/ (- t z) (- a t))))) (cbrt (* y (/ (- t z) (- a t))))))

simplify29.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
05410555

prune89.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

localize14.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)))))

rewrite59.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))
5.0ms
(cbrt (- a t))
40.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)))))

series106.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt (- a t))
28.0ms
(cbrt (- a t))
25.0ms
(* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t))))
28.0ms
(+ y (* (/ y (pow (cbrt (- a t)) 2)) (/ (- t z) (cbrt (- a t)))))

simplify63.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049872879
149872879

prune209.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

regimes638.0ms

Accuracy

29.5% (5.7b remaining)

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

bsearch2.8s

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

analyze905.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

sample731.0ms

Algorithm
intervals
Results
262.0ms6614×body80valid
65.0ms451×body640valid
48.0ms426×body320valid
45.0ms262×body1280valid
26.0ms715×body80invalid
16.0ms227×body160valid
4.0ms20×body2560valid

Profiling

Loading profile data...