Details

Time bar (total: 2.3s)

sample33.0ms

Algorithm
intervals
Results
11.0ms345×body80valid

simplify33.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
07189
17189

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: 0.1b

Counts
2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
37×*-un-lft-identity
31×times-frac
23×add-cube-cbrt
19×associate-*r*
10×add-exp-log add-cbrt-cube
7×distribute-lft-out-- difference-of-squares
5×pow1 associate-/l* add-log-exp
3×associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative flip3-- frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-- flip-+
Counts
3 → 87
Calls
3 calls:
4.0ms
(+ x (* y (/ (- t z) a)))
9.0ms
(/ (- t z) a)
10.0ms
(* y (/ (- t z) a))

series34.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(+ x (* y (/ (- t z) a)))
6.0ms
(/ (- t z) a)
12.0ms
(* y (/ (- t z) a))

simplify50.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05883889

prune114.0ms

Filtered
66 candidates to 96 candidates (-45.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New90696
Fresh011
Picked101
Done000
Total91798

Merged error: 0b

Counts
98 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
4.7b
(* (/ y (* (cbrt a) (cbrt a))) (/ (- t z) (cbrt a)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
38×*-un-lft-identity
34×associate-*r*
26×cbrt-prod add-cube-cbrt
25×add-exp-log
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out-- difference-of-squares unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 104
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
19.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- t z) (cbrt a)))

series90.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt a)
22.0ms
(cbrt a)
23.0ms
(cbrt a)
19.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- t z) (cbrt a)))

simplify67.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049381097
149381097

prune133.0ms

Filtered
79 candidates to 116 candidates (-46.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1151116
Fresh156
Picked011
Done000
Total1167123

Merged error: 0b

Counts
123 → 7

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y (- (/ t a) (/ z a))))
0.7b
(- (/ t a) (/ z a))
6.5b
(* y (- (/ t a) (/ z a)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
20×times-frac
12×associate-*r*
9×add-cube-cbrt
8×distribute-lft-out-- difference-of-squares
7×add-log-exp
5×pow1 add-exp-log sub-neg add-cbrt-cube
4×distribute-rgt-in associate-+r+ distribute-lft-in associate-*r/ div-inv
3×associate-*l*
2×flip3-- distribute-rgt-out-- frac-sub flip-- sub-div
1×+-commutative flip3-+ diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 73
Calls
3 calls:
5.0ms
(+ x (* y (- (/ t a) (/ z a))))
14.0ms
(- (/ t a) (/ z a))
17.0ms
(* y (- (/ t a) (/ z a)))

series38.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(+ x (* y (- (/ t a) (/ z a))))
6.0ms
(- (/ t a) (/ z a))
15.0ms
(* y (- (/ t a) (/ z a)))

simplify47.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04964826
14964826

prune87.0ms

Filtered
60 candidates to 82 candidates (-36.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New81182
Fresh325
Picked011
Done101
Total85489

Merged error: 0b

Counts
89 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*r*
4×pow1 distribute-rgt-in sub-neg associate-+r+ distribute-lft-in add-log-exp
2×frac-times flip3-- associate-*r/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 57
Calls
2 calls:
4.0ms
(+ x (* (/ y a) (- t z)))
10.0ms
(* (/ y a) (- t z))

series32.0ms

Counts
2 → 6
Calls
2 calls:
16.0ms
(+ x (* (/ y a) (- t z)))
16.0ms
(* (/ y a) (- t z))

simplify34.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05011619

prune57.0ms

Filtered
46 candidates to 63 candidates (-37.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh022
Picked011
Done011
Total63467

Merged error: 0b

Counts
67 → 4

regimes351.0ms

Accuracy

33.2% (1.6b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 2.5b

bsearch54.0ms

Steps
ItersRangePoint
8
1.7237906663772286e-106
9.197440259417019e-104
9.098611020860329e-104
10
-4.278331485189589e-109
-9.28047693468409e-126
-4.210519492156666e-109

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04931
14931

end0.0ms

sample892.0ms

Algorithm
intervals
Results
336.0ms10692×body80valid

Profiling

Loading profile data...