Details

Time bar (total: 3.4s)

sample41.0ms

Algorithm
intervals
Results
14.0ms261×body80valid
2.0ms13×body640valid
2.0ms10×body1280valid
2.0ms15×body320valid
1.0ms10×body160valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0491213
1491213

prune24.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: 10.7b

Counts
2 → 2

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- z t) (- a t))
2.4b
(* (- y x) (/ (- z t) (- a t)))
2.9b
(+ x (* (- y x) (/ (- z t) (- a t))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
4×associate-/r/
2×cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
16.0ms
(/ (- z t) (- a t))
30.0ms
(* (- y x) (/ (- z t) (- a t)))
7.0ms
(+ x (* (- y x) (/ (- z t) (- a t))))

series95.0ms

Counts
3 → 9
Calls
3 calls:
9.0ms
(/ (- z t) (- a t))
35.0ms
(* (- y x) (/ (- z t) (- a t)))
51.0ms
(+ x (* (- y x) (/ (- z t) (- a t))))

simplify61.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050681606

prune187.0ms

Filtered
87 candidates to 128 candidates (-47.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New11612128
Fresh011
Picked101
Done000
Total11713130

Merged error: 3.0b

Counts
130 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ z (- a t))
0.0b
(- (/ z (- a t)) (/ t (- a t)))
2.4b
(* (- y x) (- (/ z (- a t)) (/ t (- a t))))
2.9b
(+ x (* (- y x) (- (/ z (- a t)) (/ t (- a t)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
64×add-sqr-sqrt
51×times-frac
29×distribute-lft-out--
20×add-cube-cbrt
18×associate-*r*
17×difference-of-squares
14×flip3-- flip--
10×associate-/r/
8×add-exp-log frac-times add-cbrt-cube add-log-exp
6×pow1 distribute-rgt-out--
5×sub-neg associate-*l* associate-/r* div-inv
4×distribute-rgt-in associate-+r+ distribute-lft-in associate-*r/ frac-sub sub-div
3×associate-/l*
2×associate-*l/
1×cbrt-undiv +-commutative frac-2neg flip3-+ diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 134
Calls
4 calls:
5.0ms
(/ z (- a t))
26.0ms
(- (/ z (- a t)) (/ t (- a t)))
36.0ms
(* (- y x) (- (/ z (- a t)) (/ t (- a t))))
7.0ms
(+ x (* (- y x) (- (/ z (- a t)) (/ t (- a t)))))

series113.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(/ z (- a t))
15.0ms
(- (/ z (- a t)) (/ t (- a t)))
36.0ms
(* (- y x) (- (/ z (- a t)) (/ t (- a t))))
54.0ms
(+ x (* (- y x) (- (/ z (- a t)) (/ t (- a t)))))

simplify45.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049862162
149862162

prune168.0ms

Filtered
107 candidates to 146 candidates (-36.4%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1451146
Fresh3912
Picked011
Done000
Total14811159

Merged error: 3.0b

Counts
159 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
2.4b
(* (- y x) (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))
7.3b
(+ x (* (- y x) (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))))

rewrite45.0ms

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

series151.0ms

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

simplify32.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
054351291

prune125.0ms

Filtered
65 candidates to 102 candidates (-56.9%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1020102
Fresh099
Picked011
Done011
Total10211113

Merged error: 3.0b

Counts
113 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- y x))
1.0b
(* (/ (- z t) (- a t)) (cbrt (- y x)))
1.7b
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x))))
9.3b
(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x)))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
114×cbrt-div
84×frac-times
58×flip3-- flip--
52×add-sqr-sqrt
42×*-un-lft-identity
37×associate-*r/
32×associate-*l*
30×add-exp-log associate-*l/
27×times-frac
18×pow1 add-cube-cbrt add-cbrt-cube
15×prod-exp cbrt-unprod
12×cbrt-prod distribute-lft-out-- difference-of-squares
9×associate-*r* pow-prod-down
6×add-log-exp
4×unswap-sqr
3×cbrt-undiv div-exp
2×associate-/r/ *-commutative
1×+-commutative flip3-+ pow1/3 sum-log flip-+ div-inv
Counts
4 → 166
Calls
4 calls:
3.0ms
(cbrt (- y x))
17.0ms
(* (/ (- z t) (- a t)) (cbrt (- y x)))
24.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x))))
4.0ms
(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x)))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(cbrt (- y x))
46.0ms
(* (/ (- z t) (- a t)) (cbrt (- y x)))
33.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x))))
55.0ms
(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x)))))

simplify48.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
050283757

prune153.0ms

Filtered
109 candidates to 178 candidates (-63.3%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1780178
Fresh088
Picked011
Done022
Total17811189

Merged error: 3.0b

Counts
189 → 11

regimes529.0ms

Accuracy

23.3% (6.3b remaining)

Error of 10.0b against oracle of 3.7b and baseline of 11.9b

bsearch44.0ms

Steps
ItersRangePoint
6
1.0986474239144282e-152
4.581626603240402e-152
2.8247696157803964e-152
7
-1.160017546360475e-155
-4.82192808911134e-157
-1.1651128156127139e-156

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09039
19039

end0.0ms

sample1.0s

Algorithm
intervals
Results
305.0ms7828×body80valid
73.0ms502×body640valid
52.0ms292×body1280valid
41.0ms391×body320valid
20.0ms284×body160valid
3.0ms13×body2560valid

Profiling

Loading profile data...