Details

sample1.6s

Algorithm

intervals

Results

1.1s

2250×

body

valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	95
1	132	95
2	350	95
3	1737	95
done	5000	95

prune39.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.6b

localize149.0ms

Local error

Found 4 expressions with local error:

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

rewrite295.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:

64.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
72.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
59.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
96.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.0s

Counts

4 → 12

Calls

4 calls:

279.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
301.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
250.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
204.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify669.0ms

Counts

132 → 132

Iterations

Useful iterations: done (661.0ms)

Iter	Nodes	Cost
0	342	3300
1	1112	3224
done	5000	2988

prune2.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 17.9b

localize131.0ms

Local error

Found 4 expressions with local error:

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

rewrite270.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:

55.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
58.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
75.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
78.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series887.0ms

Counts

4 → 12

Calls

4 calls:

236.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
228.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
227.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
195.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify585.0ms

Counts

132 → 132

Iterations

Useful iterations: done (579.0ms)

Iter	Nodes	Cost
0	340	3300
1	1112	3224
done	5001	2988

prune3.1s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 15.3b

localize100.0ms

Local error

Found 4 expressions with local error:

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

rewrite270.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:

59.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
67.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
72.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
66.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series992.0ms

Counts

4 → 12

Calls

4 calls:

213.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
267.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
251.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
260.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify507.0ms

Counts

132 → 132

Iterations

Useful iterations: done (503.0ms)

Iter	Nodes	Cost
0	340	3300
1	1112	3224
done	5001	2988

prune3.1s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 15.3b

localize143.0ms

Local error

Found 4 expressions with local error:

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

rewrite315.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:

74.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
78.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
79.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
77.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series963.0ms

Counts

4 → 12

Calls

4 calls:

196.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
239.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
280.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
247.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify586.0ms

Counts

132 → 132

Iterations

Useful iterations: done (580.0ms)

Iter	Nodes	Cost
0	340	3300
1	1110	3224
done	5000	2988

prune2.9s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 15.3b

regimes10.9s

bsearch3.6s

Steps

Iters	Range	Point
10	2.7166156305691142e-130	4.9802481810854265e-118	2.332477643627082e-126
9	1.5324849855957611e-291	1.2953534560757286e-282	2.1545394349680685e-289
8	-4.644905873068737e-47	-2.5865588580430357e-51	-1.150178734341098e-48

Iters

Range

Point

2.7166156305691142e-130

4.9802481810854265e-118

2.332477643627082e-126

1.5324849855957611e-291

1.2953534560757286e-282

2.1545394349680685e-289

-4.644905873068737e-47

-2.5865588580430357e-51

-1.150178734341098e-48

simplify47.0ms

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	112	397
1	175	394
2	182	394
done	182	394

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.3s

2450×

body

valid