Details

Time bar (total: 3.1s)

sample50.0ms

Algorithm
intervals
Results
18.0ms395×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08013
18013

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

Counts
2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.0b
(+ x (* y z))
5.9b
(* (* a z) b)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
8×pow1 add-exp-log add-cbrt-cube
7×sum-log
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×+-commutative flip3-+ flip-+
1×associate-+l+ associate-*l* *-commutative
Counts
3 → 43
Calls
3 calls:
7.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
2.0ms
(+ x (* y z))
4.0ms
(* (* a z) b)

series38.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
6.0ms
(+ x (* y z))
8.0ms
(* (* a z) b)

simplify28.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
04934503
14934503

prune70.0ms

Filtered
38 candidates to 52 candidates (-36.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New49352
Fresh011
Picked011
Done000
Total49554

Merged error: 0.0b

Counts
54 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt b)
0.5b
(cbrt b)
1.4b
(* (* a (* z (* (cbrt b) (cbrt b)))) (cbrt b))
4.1b
(* a (* z (* (cbrt b) (cbrt b))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1 add-exp-log
19×add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×associate-*l* add-log-exp
2×pow1/3 *-commutative
Counts
4 → 70
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
14.0ms
(* (* a (* z (* (cbrt b) (cbrt b)))) (cbrt b))
9.0ms
(* a (* z (* (cbrt b) (cbrt b))))

series80.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt b)
21.0ms
(cbrt b)
10.0ms
(* (* a (* z (* (cbrt b) (cbrt b)))) (cbrt b))
25.0ms
(* a (* z (* (cbrt b) (cbrt b))))

simplify71.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
05191474

prune83.0ms

Filtered
47 candidates to 82 candidates (-74.5%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New81182
Fresh033
Picked101
Done011
Total82587

Merged error: 0.0b

Counts
87 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt b))
0.6b
(cbrt (cbrt b))
1.4b
(* (* a (* z (* (cbrt b) (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
4.1b
(* a (* z (* (cbrt b) (cbrt b))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
67×pow1 add-exp-log
48×pow-prod-down prod-exp cbrt-unprod
43×add-cbrt-cube
18×cbrt-prod
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* add-log-exp
2×pow1/3 associate-*r* *-commutative
Counts
4 → 95
Calls
4 calls:
1.0ms
(cbrt (cbrt b))
1.0ms
(cbrt (cbrt b))
24.0ms
(* (* a (* z (* (cbrt b) (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
9.0ms
(* a (* z (* (cbrt b) (cbrt b))))

series98.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(cbrt (cbrt b))
33.0ms
(cbrt (cbrt b))
9.0ms
(* (* a (* z (* (cbrt b) (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
25.0ms
(* a (* z (* (cbrt b) (cbrt b))))

simplify52.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04976655
14976655

prune89.0ms

Filtered
51 candidates to 107 candidates (-109.8%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1061107
Fresh033
Picked011
Done011
Total1066112

Merged error: 0.0b

Counts
112 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt b))
0.6b
(cbrt (cbrt b))
1.4b
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
4.6b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
85×pow1 add-exp-log
62×pow-prod-down prod-exp cbrt-unprod
49×add-cbrt-cube
18×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
2×pow1/3 associate-*r* associate-*l* *-commutative
Counts
4 → 105
Calls
4 calls:
1.0ms
(cbrt (cbrt b))
1.0ms
(cbrt (cbrt b))
22.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
8.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series95.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(cbrt (cbrt b))
29.0ms
(cbrt (cbrt b))
9.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))
28.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify70.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
04964716
14964716

prune66.0ms

Filtered
48 candidates to 117 candidates (-143.8%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1170117
Fresh033
Picked011
Done022
Total1176123

Merged error: 0.0b

Counts
123 → 6

regimes674.0ms

Accuracy

81.9% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 2.2b

bsearch56.0ms

Steps
ItersRangePoint
7
1.4615098229264922e-77
1.0647617704382976e-75
1.757709039776206e-76
9
-3.5726667203951606e-41
-4.129228040800451e-47
-3.5285645667064107e-41

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03937
13937

end0.0ms

sample1.3s

Algorithm
intervals
Results
553.0ms11865×body80valid

Profiling

Loading profile data...