Details

Time bar (total: 25.5s)

sample1.4s

Algorithm
intervals
Results
1.2s2260×body80valid

simplify45.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)))

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:
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series667.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010761572
150021484

prune1.9s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 18.5b

localize73.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)))

rewrite75.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:
21.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series682.0ms

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

simplify46.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010811572
150011484

prune2.1s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.0b

localize73.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)))

rewrite78.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:
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
23.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series722.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010761572
150021484

prune2.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 16.0b

localize79.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)))

rewrite76.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:
21.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series709.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010761572
150021484

prune2.0s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.0b

regimes6.9s

bsearch5.4s

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