Details

Time bar (total: 4.8s)

sample51.0ms

Algorithm
intervals
Results
26.0ms282×body80valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
0491437
1491437

prune19.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: 29.4b

Counts
2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (+ (* z (+ z 15.234687407)) 31.4690115749))
0.1b
(* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t))
0.1b
(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
28.5b
(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
24×add-cube-cbrt *-un-lft-identity
21×associate-*r*
19×times-frac
15×add-exp-log add-cbrt-cube
10×pow1
9×associate-*l*
5×flip3-+ associate-*r/ flip-+
4×prod-exp associate-/r/ cbrt-unprod add-log-exp unswap-sqr
3×pow-prod-down associate-/r* *-commutative associate-/l*
2×cbrt-undiv distribute-rgt-in distribute-lft-in div-exp div-inv associate-/l/
1×frac-2neg clear-num
Counts
4 → 109
Calls
4 calls:
10.0ms
(* z (+ (* z (+ z 15.234687407)) 31.4690115749))
12.0ms
(* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t))
32.0ms
(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
29.0ms
(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

series220.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* z (+ (* z (+ z 15.234687407)) 31.4690115749))
7.0ms
(* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t))
155.0ms
(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
54.0ms
(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

simplify63.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049633389
149633389

prune354.0ms

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

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1138121
Fresh011
Picked101
Done000
Total1149123

Merged error: 0.5b

Counts
123 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t z) 36.527041698806414)
0.0b
(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
0.0b
(+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414)))
3.3b
(* (/ y z) (- (/ t z) 36.527041698806414))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×*-un-lft-identity
13×associate-*l* add-log-exp
12×add-cube-cbrt times-frac
9×add-exp-log add-cbrt-cube
6×pow1 associate-*r*
5×sub-neg associate-+r+
4×distribute-rgt-in distribute-lft-in sum-log difference-of-squares
3×flip3-- flip--
2×+-commutative frac-times flip3-+ associate-*r/ prod-exp cbrt-unprod flip-+ distribute-lft-out-- unswap-sqr
1×cbrt-undiv diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv distribute-lft-out
Counts
4 → 87
Calls
4 calls:
8.0ms
(- (/ t z) 36.527041698806414)
7.0ms
(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
6.0ms
(+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414)))
14.0ms
(* (/ y z) (- (/ t z) 36.527041698806414))

series53.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(- (/ t z) 36.527041698806414)
23.0ms
(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
15.0ms
(+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414)))
12.0ms
(* (/ y z) (- (/ t z) 36.527041698806414))

simplify23.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
051391276

prune168.0ms

Filtered
71 candidates to 99 candidates (-39.4%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New96399
Fresh178
Picked011
Done000
Total9711108

Merged error: 0.5b

Counts
108 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.7b
(* (/ 1 (* (cbrt z) (cbrt z))) (* (- (/ t z) 36.527041698806414) (/ y (cbrt z))))
3.0b
(* (- (/ t z) 36.527041698806414) (/ y (cbrt z)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
87×add-exp-log
46×prod-exp
35×add-sqr-sqrt add-cbrt-cube
24×*-un-lft-identity times-frac
23×associate-*r*
22×add-cube-cbrt
20×div-exp cbrt-unprod
16×cbrt-prod
13×associate-*l*
11×pow1 frac-times
10×cbrt-undiv
8×associate-*r/
7×associate-*l/
6×rec-exp flip3-- 1-exp flip--
4×pow-prod-down add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv difference-of-squares
1×distribute-lft-out--
Counts
4 → 130
Calls
4 calls:
1.0ms
(cbrt z)
2.0ms
(cbrt z)
23.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (- (/ t z) 36.527041698806414) (/ y (cbrt z))))
17.0ms
(* (- (/ t z) 36.527041698806414) (/ y (cbrt z)))

series120.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt z)
24.0ms
(cbrt z)
15.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (- (/ t z) 36.527041698806414) (/ y (cbrt z))))
55.0ms
(* (- (/ t z) 36.527041698806414) (/ y (cbrt z)))

simplify42.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
049711597
149711597

prune213.0ms

Filtered
94 candidates to 142 candidates (-51.1%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1411142
Fresh099
Picked011
Done011
Total14112153

Merged error: 0.5b

Counts
153 → 12

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.7b
(* (/ 1 (* (cbrt z) (cbrt z))) (* (* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y))) (/ (cbrt y) (cbrt z))))
2.8b
(* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
247×add-exp-log
157×prod-exp
71×add-cbrt-cube
67×cbrt-unprod
49×div-exp
23×pow1 cbrt-undiv
15×add-sqr-sqrt associate-*l/
14×rec-exp 1-exp
13×associate-*l* pow-prod-down
11×*-un-lft-identity
9×frac-times add-cube-cbrt
7×associate-*r/
6×cbrt-prod
5×flip3-- flip--
4×times-frac add-log-exp
2×pow1/3 associate-*r* *-commutative difference-of-squares
1×div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 147
Calls
4 calls:
1.0ms
(cbrt z)
2.0ms
(cbrt z)
34.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y))) (/ (cbrt y) (cbrt z))))
16.0ms
(* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y)))

series103.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt z)
25.0ms
(cbrt z)
11.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y))) (/ (cbrt y) (cbrt z))))
42.0ms
(* (- (/ t z) 36.527041698806414) (* (cbrt y) (cbrt y)))

simplify61.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050241643

prune111.0ms

Filtered
66 candidates to 159 candidates (-140.9%)
Pruning

12 alts after pruning (9 fresh and 3 done)

PrunedKeptTotal
New1590159
Fresh099
Picked011
Done022
Total15912171

Merged error: 0.5b

Counts
171 → 12

regimes1.3s

Accuracy

96.7% (0.8b remaining)

Error of 1.2b against oracle of 0.3b and baseline of 26.0b

bsearch49.0ms

Steps
ItersRangePoint
4
4.470536215843088e+55
7.641280087483801e+55
4.52685173750822e+55
7
-9.385494182443387e+61
-1.5762786805130549e+60
-7.607249009004601e+60

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06792
16792

end0.0ms

sample1.5s

Algorithm
intervals
Results
848.0ms8874×body80valid

Profiling

Loading profile data...