Details

Time bar (total: 1.5m)

sample1.3s

Algorithm
intervals
Results
1.1s2100×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0631896
11321896
23491896
317121896
done50011896

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.1b

localize201.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite207.0ms

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

series865.0ms

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

simplify2.8s

Counts
132 → 132
Iterations

Useful iterations: done (2.7s)

IterNodesCost
034064348
1111357004
2481356764
done500056684

prune3.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 16.8b

localize205.0ms

Local error

Found 4 expressions with local error:

8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite189.0ms

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

series872.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
224.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
212.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
226.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify2.6s

Counts
132 → 132
Iterations

Useful iterations: 2 (972.0ms)

IterNodesCost
025864268
184156924
2361556524
done500156524

prune4.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 16.8b

localize306.0ms

Local error

Found 4 expressions with local error:

8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite233.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
269.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
224.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
252.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
317.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify3.1s

Counts
132 → 132
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
025864268
184156924
2361556524
done500156524

prune4.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 16.8b

localize431.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite201.0ms

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

series1.1s

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

simplify3.4s

Counts
132 → 132
Iterations

Useful iterations: done (3.3s)

IterNodesCost
034064348
1111357004
2481356764
done500056684

prune4.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 16.8b

regimes10.4s

bsearch5.3s

Steps
ItersRangePoint
2
8.801691891331726e-114
9.623608192716883e-114
9.520868655043738e-114
9
1.1271476398175267e-169
3.0075273507670775e-161
6.474365659455146e-166
8
2.3054119234334136e-194
9.461673869020667e-191
5.4037674111266996e-194
8
-4.502794615593076e-275
-1.7251057172588655e-277
-6.77703000717028e-276
7
-1.9803463611296303e-74
-1.478894449102137e-76
-1.0537817553783364e-75
8
-1.8511392211712483e+45
-6.083931113670603e+41
-4.491345633230883e+42

simplify159.0ms

Iterations

Useful iterations: 1 (140.0ms)

IterNodesCost
01395043
12154962
done2154962

end0.0ms

sample35.9s

Algorithm
intervals
Results
29.5s56576×body80valid