Details

Time bar (total: 7.3s)

sample111.0ms

Algorithm
intervals
Results
47.0ms629×body80valid

simplify133.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
0304729
1304729

prune14.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: 11.6b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
3.9b
(* j (- (* c a) (* y i)))
5.3b
(* x (- (* y z) (* t a)))
5.4b
(* b (- (* c z) (* t i)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×associate-*r/
11×sub-neg
10×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in add-cbrt-cube
9×associate-*r* associate-*l*
8×flip3-- flip--
6×add-log-exp
4×associate--l+ frac-sub associate--r+
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 96
Calls
4 calls:
8.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
6.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* b (- (* c z) (* t i)))

series130.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
18.0ms
(* j (- (* c a) (* y i)))
20.0ms
(* x (- (* y z) (* t a)))
18.0ms
(* b (- (* c z) (* t i)))

simplify42.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
051441683

prune243.0ms

Filtered
77 candidates to 108 candidates (-40.3%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New9117108
Fresh000
Picked101
Done000
Total9217109

Merged error: 5.4b

Counts
109 → 17

localize22.0ms

Local error

Found 4 expressions with local error:

3.9b
(* j (- (* c a) (* y i)))
4.2b
(* t (* x (neg a)))
4.7b
(* z (* x y))
5.4b
(* b (- (* c z) (* t i)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 85
Calls
4 calls:
6.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* t (* x (neg a)))
5.0ms
(* z (* x y))
6.0ms
(* b (- (* c z) (* t i)))

series49.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* t (* x (neg a)))
5.0ms
(* z (* x y))
20.0ms
(* b (- (* c z) (* t i)))

simplify44.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05028830

prune217.0ms

Filtered
62 candidates to 97 candidates (-56.5%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New91697
Fresh21416
Picked101
Done000
Total9420114

Merged error: 4.6b

Counts
114 → 20

localize22.0ms

Local error

Found 4 expressions with local error:

3.9b
(* j (- (* c a) (* y i)))
4.2b
(* t (* x (neg a)))
4.7b
(* (* z x) y)
5.4b
(* b (- (* c z) (* t i)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity associate-*r* associate-*l*
8×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 85
Calls
4 calls:
6.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* t (* x (neg a)))
5.0ms
(* (* z x) y)
6.0ms
(* b (- (* c z) (* t i)))

series50.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* t (* x (neg a)))
6.0ms
(* (* z x) y)
21.0ms
(* b (- (* c z) (* t i)))

simplify45.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05052831

prune199.0ms

Filtered
62 candidates to 97 candidates (-56.5%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New97097
Fresh01919
Picked011
Done000
Total9720117

Merged error: 4.6b

Counts
117 → 20

localize32.0ms

Local error

Found 4 expressions with local error:

5.4b
(* b (- (* c z) (* t i)))
8.5b
(cbrt (- (* z y) (* t a)))
8.5b
(cbrt (- (* z y) (* t a)))
8.5b
(cbrt (- (* y z) (* t a)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×flip3-- flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 63
Calls
4 calls:
6.0ms
(* b (- (* c z) (* t i)))
3.0ms
(cbrt (- (* z y) (* t a)))
3.0ms
(cbrt (- (* z y) (* t a)))
3.0ms
(cbrt (- (* y z) (* t a)))

series131.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* b (- (* c z) (* t i)))
37.0ms
(cbrt (- (* z y) (* t a)))
40.0ms
(cbrt (- (* z y) (* t a)))
37.0ms
(cbrt (- (* y z) (* t a)))

simplify29.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
05885931

prune99.0ms

Filtered
67 candidates to 75 candidates (-11.9%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New74175
Fresh41418
Picked101
Done011
Total791695

Merged error: 1.1b

Counts
95 → 16

regimes2.1s

Accuracy

13.2% (9.7b remaining)

Error of 11.1b against oracle of 1.4b and baseline of 12.5b

bsearch231.0ms

Steps
ItersRangePoint
7
7.957299225720307e-49
4.732931756550761e-47
2.1327073790487086e-47
7
5.277096526092619e-181
1.4775191804997698e-179
7.364773937325596e-181
8
-2.4688493817881218e-275
-6.586326046390643e-278
-1.3902995953278734e-275
9
-6.946099253110126e-99
-4.130665611313332e-107
-4.6066223601240277e-104

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0124214
1124214

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.5s19412×body80valid

Profiling

Loading profile data...