Details

sample596.0ms

Algorithm

intervals

Results

326.0ms

2079×

body

valid

simplify963.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.2b

localize67.0ms

Local error

Found 4 expressions with local error:

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

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

49.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
51.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
48.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series703.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
175.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
176.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
176.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify1.6s

Counts

132 → 132

Iterations

Useful iterations: 2 (489.0ms)

Iter	Nodes	Cost
0	341	3300
1	1078	3224
2	4952	2984
done	5000	2984

prune1.8s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 17.2b

localize68.0ms

Local error

Found 4 expressions with local error:

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

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

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

series706.0ms

Counts

4 → 12

Calls

4 calls:

179.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
176.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
176.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
174.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify1.6s

Counts

132 → 132

Iterations

Useful iterations: 2 (491.0ms)

Iter	Nodes	Cost
0	341	3300
1	1079	3224
2	4962	2984
done	5000	2984

prune2.0s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 14.2b

localize73.0ms

Local error

Found 4 expressions with local error:

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

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

50.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
49.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
52.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series729.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
177.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
186.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
185.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify981.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (254.0ms)

Iter	Nodes	Cost
0	180	3300
1	569	3224
2	2561	2984
done	5001	2984

prune2.4s

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 14.2b

localize73.0ms

Local error

Found 4 expressions with local error:

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

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

51.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
48.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
49.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
52.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series728.0ms

Counts

4 → 12

Calls

4 calls:

175.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
183.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
186.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
183.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify955.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (251.0ms)

Iter	Nodes	Cost
0	180	3300
1	569	3224
2	2561	2984
done	5001	2984

prune1.8s

Pruning

27 alts after pruning (25 fresh and 2 done)

Merged error: 14.2b

regimes7.3s

Accuracy

-6.2% (11.5b remaining)

Error of 28.2b against oracle of 16.7b and baseline of 27.5b

bsearch2.2s

Steps

Iters	Range		Point
10	7.935259016402059e+103	5.38281187143586e+113	5.071064520549355e+104
6	6.151979161952197e+24	9.597891507830369e+25	1.7924197444457174e+25
7	-6.764068593599658e-36	-1.9476237708523574e-37	-4.8439504291298615e-37
3	-1.1640567216038727e+32	-8.778371887555293e+31	-1.1461680008008513e+32

simplify26.0ms

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	121	558
1	188	557
2	194	557
done	194	557

end0.0ms

sample20.0s

Algorithm

intervals

Results

11.4s

73194×

body

valid