Details

Time bar (total: 2.5min)

analyze5.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.2%0.8%0
0%99.2%0.8%1
0%99.2%0.8%2
0%99.2%0.8%3
0%99.2%0.8%4
0%99.2%0.8%5
0%99.2%0.8%6
0%99.2%0.8%7
0%99.2%0.8%8
0%99.2%0.8%9
0%99.2%0.8%10
0%99.2%0.8%11
0%99.2%0.8%12
0%99.2%0.8%13
0%99.2%0.8%14

sample996.0ms

Algorithm
intervals
Results
655.0ms2306×body80invalid
72.0ms256×body80valid

simplify49.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.5b

Counts
2 → 1

localize61.0ms

Local error

Found 4 expressions with local error:

9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.4b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series200.0ms

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

simplify47.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010761572
150011484

prune469.0ms

Filtered
100 candidates to 132 candidates (-32.0%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New11220132
Fresh000
Picked101
Done000
Total11320133

Merged error: 16.8b

Counts
133 → 20

localize66.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.4b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series264.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010791572
150021484

prune657.0ms

Filtered
100 candidates to 132 candidates (-32.0%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New1275132
Fresh01919
Picked101
Done000
Total12824152

Merged error: 14.8b

Counts
152 → 24

localize65.0ms

Local error

Found 4 expressions with local error:

9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.4b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series209.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010761572
150011484

prune488.0ms

Filtered
100 candidates to 132 candidates (-32.0%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New1293132
Fresh22123
Picked101
Done000
Total13224156

Merged error: 14.8b

Counts
156 → 24

localize103.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.4b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series201.0ms

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

simplify44.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010791572
150021484

prune181.0ms

Filtered
100 candidates to 132 candidates (-32.0%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New1302132
Fresh12223
Picked101
Done000
Total13224156

Merged error: 14.8b

Counts
156 → 24

regimes7.2s

bsearch1.9min

Steps
ItersRangePoint
4
7.796406119929745e+48
1.2625348544429627e+49
9.568580217458271e+48
4
1.7568022742634914e-148
3.2597203716176754e-148
2.3406588144367056e-148
9
4.259437095563433e-202
1.1345112994436221e-195
5.362458638202349e-202
9
-1.6888011931159626e-111
-5.701239926328516e-120
-4.717088182496085e-113
8
-1.3499946865081582e-77
-1.3200261391937862e-81
-1.417863086405665e-78
7
-1.2045491232086721e+55
-5.098375517866105e+52
-5.472702565727104e+53

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0234346
1244346
2244346

end0.0ms

analyze5.4s

Algorithm
search
Search
TrueOtherFalseIter
0%99.2%0.8%0
0%99.2%0.8%1
0%99.2%0.8%2
0%99.2%0.8%3
0%99.2%0.8%4
0%99.2%0.8%5
0%99.2%0.8%6
0%99.2%0.8%7
0%99.2%0.8%8
0%99.2%0.8%9
0%99.2%0.8%10
0%99.2%0.8%11
0%99.2%0.8%12
0%99.2%0.8%13
0%99.2%0.8%14

sample15.7s

Algorithm
intervals
Results
10.3s41200×body80invalid
1.3s5073×body80valid

Profiling

Loading profile data...