Details

Time bar (total: 2.6s)

sample43.0ms

Algorithm
intervals
Results
15.0ms283×body80valid

simplify119.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
0490011
1490011

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 10.9b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
7×add-log-exp
5×add-exp-log add-cbrt-cube
4×flip3-- flip--
3×pow1 associate-/r* associate-/l*
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
Counts
3 → 56
Calls
3 calls:
3.0ms
(- t (* a z))
3.0ms
(- x (* y z))
6.0ms
(/ (- x (* y z)) (- t (* a z)))

series36.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(- t (* a z))
9.0ms
(- x (* y z))
20.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify42.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05502763

prune91.0ms

Filtered
52 candidates to 65 candidates (-25.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New60565
Fresh000
Picked011
Done000
Total60666

Merged error: 6.7b

Counts
66 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ x (- t (* z a))) (* y (/ z (- t (* z a)))))
3.6b
(/ x (- t (* z a)))
3.8b
(* y (/ z (- t (* z a))))
8.3b
(/ z (- t (* z a)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×add-cube-cbrt *-un-lft-identity times-frac
15×associate-*r*
13×add-exp-log add-cbrt-cube
6×pow1 associate-/r* associate-/r/ associate-/l* add-log-exp
4×flip3-- flip--
3×cbrt-undiv associate-*r/ div-exp associate-*l* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×sub-neg diff-log pow-prod-down *-commutative frac-sub sub-div
Counts
4 → 106
Calls
4 calls:
8.0ms
(- (/ x (- t (* z a))) (* y (/ z (- t (* z a)))))
4.0ms
(/ x (- t (* z a)))
10.0ms
(* y (/ z (- t (* z a))))
4.0ms
(/ z (- t (* z a)))

series68.0ms

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

simplify56.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
057971310

prune132.0ms

Filtered
92 candidates to 118 candidates (-28.3%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1162118
Fresh134
Picked101
Done011
Total1186124

Merged error: 1.5b

Counts
124 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* z a))
0.0b
(+ (/ x (- t (* z a))) (/ (neg y) (- (/ t z) a)))
3.6b
(/ x (- t (* z a)))
3.8b
(/ (neg y) (- (/ t z) a))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
99×add-sqr-sqrt
88×times-frac
86×*-un-lft-identity
44×add-cube-cbrt
23×distribute-rgt-neg-in
22×difference-of-squares
21×distribute-lft-neg-in
13×associate-/l* distribute-lft-out--
9×associate-/r*
8×add-exp-log add-cbrt-cube add-log-exp
7×neg-mul-1
5×distribute-lft-out
4×pow1 associate-/r/
3×flip3-- distribute-frac-neg flip--
2×cbrt-undiv neg-sub0 frac-2neg div-sub div-exp clear-num div-inv
1×+-commutative associate-+r- sub-neg flip3-+ diff-log unsub-neg frac-add sum-log flip-+
Counts
4 → 153
Calls
4 calls:
3.0ms
(- t (* z a))
50.0ms
(+ (/ x (- t (* z a))) (/ (neg y) (- (/ t z) a)))
4.0ms
(/ x (- t (* z a)))
10.0ms
(/ (neg y) (- (/ t z) a))

series56.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(- t (* z a))
27.0ms
(+ (/ x (- t (* z a))) (/ (neg y) (- (/ t z) a)))
11.0ms
(/ x (- t (* z a)))
11.0ms
(/ (neg y) (- (/ t z) a))

simplify48.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
054542226

prune142.0ms

Filtered
117 candidates to 165 candidates (-41.0%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1650165
Fresh044
Picked011
Done011
Total1656171

Merged error: 1.5b

Counts
171 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

8.3b
(/ z (- t (* z a)))
16.6b
(cbrt (/ x (- t (* z a))))
16.6b
(cbrt (/ x (- t (* z a))))
16.6b
(cbrt (/ x (- t (* z a))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
45×cbrt-prod
36×times-frac
33×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/r/
6×add-exp-log add-cbrt-cube
4×pow1 flip3-- flip-- div-inv add-log-exp
3×cbrt-div pow1/3 associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
4 → 101
Calls
4 calls:
4.0ms
(/ z (- t (* z a)))
4.0ms
(cbrt (/ x (- t (* z a))))
4.0ms
(cbrt (/ x (- t (* z a))))
4.0ms
(cbrt (/ x (- t (* z a))))

series105.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ z (- t (* z a)))
33.0ms
(cbrt (/ x (- t (* z a))))
31.0ms
(cbrt (/ x (- t (* z a))))
31.0ms
(cbrt (/ x (- t (* z a))))

simplify48.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051581506

prune113.0ms

Filtered
97 candidates to 113 candidates (-16.5%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1130113
Fresh033
Picked011
Done022
Total1136119

Merged error: 1.5b

Counts
119 → 6

regimes462.0ms

Accuracy

82% (0.3b remaining)

Error of 1.6b against oracle of 1.4b and baseline of 2.8b

bsearch45.0ms

Steps
ItersRangePoint
8
4.7208513193053305e-123
1.9883341304246065e-118
1.15914428873438e-119
10
-2.896286437513151e-45
-1.9572058545892454e-57
-6.120866528703716e-47

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08135
18135

end0.0ms

sample825.0ms

Algorithm
intervals
Results
328.0ms8743×body80valid

Profiling

Loading profile data...