Details

Time bar (total: 25.4s)

sample1.4s

Algorithm
intervals
Results
1.2s2260×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize66.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
20.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
16.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series670.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
169.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
165.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
168.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify43.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010761572
150021484

prune2.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 18.5b

localize71.0ms

Local error

Found 4 expressions with local error:

8.4b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
19.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series654.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
165.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
165.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
160.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify42.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010811572
150011484

prune2.1s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.0b

localize71.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
21.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series669.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
170.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
166.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
164.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify46.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
010761572
150021484

prune2.1s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 16.0b

localize78.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
22.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series681.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
172.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
169.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
168.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify43.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010761572
150021484

prune2.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.0b

regimes6.6s

bsearch5.5s

Steps
ItersRangePoint
7
3.418291991467522e-19
5.799524927971863e-17
4.648200021873284e-18
8
2.3331356546388108e-164
8.788575031168928e-162
8.113928566865229e-162
8
-9.374221125735157e-284
-9.723080083616156e-287
-9.270282118152949e-284
10
-1.0187181351791065e-233
-7.67902471094005e-245
-1.0114396488141486e-238
8
-1.358190217467818e-55
-3.6709882199712593e-59
-1.3824307734796873e-57