Details

sample205.0ms

Algorithm

intervals

Results

125.0ms

682×

body

valid

simplify4.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1908
4	712
3	290
2	96
1	43
0	23

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize87.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (* y z) (* t a))
3.9b	(* b (- (* c z) (* i a)))
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

16.0ms	(- (* y z) (* t a))
56.0ms	(* b (- (* c z) (* i a)))
67.0ms	(* j (- (* c t) (* i y)))
44.0ms	(* x (- (* y z) (* t a)))

series504.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(- (* y z) (* t a))
136.0ms	(* b (- (* c z) (* i a)))
143.0ms	(* j (- (* c t) (* i y)))
143.0ms	(* x (- (* y z) (* t a)))

simplify2.2s

Counts

96 → 96

Iterations

Iter	Nodes
done	5000
2	1411
1	456
0	166

prune1.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 8.5b

localize115.0ms

Local error

Found 4 expressions with local error:

3.9b	(* b (* c z))
4.3b	(* b (- (* i a)))
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 88

Calls

4 calls:

31.0ms	(* b (* c z))
25.0ms	(* b (- (* i a)))
55.0ms	(* j (- (* c t) (* i y)))
55.0ms	(* x (- (* y z) (* t a)))

series394.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* b (* c z))
55.0ms	(* b (- (* i a)))
140.0ms	(* j (- (* c t) (* i y)))
147.0ms	(* x (- (* y z) (* t a)))

simplify2.4s

Counts

100 → 100

Iterations

Iter	Nodes
done	5002
2	1543
1	471
0	174

prune2.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 6.5b

localize108.0ms

Local error

Found 4 expressions with local error:

4.3b	(* b (- (* i a)))
5.1b	(* z (* b c))
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite184.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 88

Calls

4 calls:

21.0ms	(* b (- (* i a)))
37.0ms	(* z (* b c))
54.0ms	(* j (- (* c t) (* i y)))
67.0ms	(* x (- (* y z) (* t a)))

series364.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* b (- (* i a)))
54.0ms	(* z (* b c))
130.0ms	(* j (- (* c t) (* i y)))
134.0ms	(* x (- (* y z) (* t a)))

simplify2.4s

Counts

100 → 100

Iterations

Iter	Nodes
done	5000
2	1550
1	470
0	175

prune1.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.0b

localize101.0ms

Local error

Found 4 expressions with local error:

5.1b	(* z (* b c))
5.6b	(* j (- (* c t) (* i y)))
5.9b	(* (* (- b) a) i)
7.8b	(* x (- (* y z) (* t a)))

rewrite208.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
2×	`distribute-lft-neg-out` `flip3--` `flip--` `unswap-sqr`

Counts

4 → 85

Calls

4 calls:

34.0ms	(* z (* b c))
58.0ms	(* j (- (* c t) (* i y)))
44.0ms	(* (* (- b) a) i)
68.0ms	(* x (- (* y z) (* t a)))

series378.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* z (* b c))
133.0ms	(* j (- (* c t) (* i y)))
47.0ms	(* (* (- b) a) i)
146.0ms	(* x (- (* y z) (* t a)))

simplify2.3s

Counts

97 → 97

Iterations

Iter	Nodes
done	5001
2	1658
1	488
0	181

prune1.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 5.8b

regimes4.4s

Accuracy

-31.5% (9.1b remaining)

Error of 14.8b against oracle of 5.7b and baseline of 12.6b

bsearch749.0ms

Steps

Iters	Range		Point
6	1.3576525139604954e+80	1.99802435666769e+81	1.9400998981162235e+81
10	2.5282214585929698e-82	7.077311476984947e-71	2.0832540382775456e-77
10	-8.621906922069408e-296	-1.3593166678762685e-307	-2.1728602844855286e-300

simplify2.5s

Iterations

Iter	Nodes
done	5000
31	4868
30	4692
29	4528
28	4352
27	4188
26	4012
25	3848
24	3672
23	3508
22	3332
21	3168
20	2992
19	2828
18	2652
17	2488
16	2312
15	2148
14	1968
13	1810
12	1629
11	1459
10	1230
9	1032
8	862
7	686
6	492
5	298
4	187
3	147
2	124
1	98
0	56

end0.0ms

sample7.3s

Algorithm

intervals

Results

5.5s

18914×

body

valid