Details

sample148.0ms

Algorithm

intervals

Results

82.0ms

580×

body

valid

simplify3.2s

Counts

1 → 1

Iterations

Useful iterations: 4 (351.0ms)

Iter	Nodes	Cost
0	23	29
1	47	29
2	110	28
3	333	28
4	907	27
5	2817	27
done	5000	27

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* y z) (* t a))
3.9b	(* x (- (* y z) (* t a)))
4.0b	(* j (- (* c a) (* y i)))
5.8b	(* b (- (* c z) (* t i)))

rewrite180.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×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `associate-l`
7×	`sub-neg` `prod-diff`
6×	`associate-*r/` `add-log-exp`
4×	`expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`fma-neg` `diff-log`

Counts

4 → 100

Calls

4 calls:

18.0ms	(- (* y z) (* t a))
60.0ms	(* x (- (* y z) (* t a)))
30.0ms	(* j (- (* c a) (* y i)))
67.0ms	(* b (- (* c z) (* t i)))

series364.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.4s

Counts

112 → 112

Iterations

Useful iterations: 2 (371.0ms)

Iter	Nodes	Cost
0	199	1357
1	474	1338
2	1360	1195
done	5000	1195

prune803.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.3b

localize62.0ms

Local error

Found 4 expressions with local error:

3.9b	(* x (- (* y z) (* t a)))
4.0b	(* j (- (* c a) (* y i)))
4.5b	(* z (* b c))
6.0b	(* (- (* t i)) b)

rewrite172.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 100

Calls

4 calls:

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

series331.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(* x (- (* y z) (* t a)))
124.0ms	(* j (- (* c a) (* y i)))
31.0ms	(* z (* b c))
35.0ms	(* (- (* t i)) b)

simplify1.5s

Counts

112 → 112

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	198	1141
1	475	1123
2	1611	991
done	5000	987

prune870.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.8b

localize41.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (- t) (* i b))
3.9b	(* x (- (* y z) (* t a)))
4.0b	(* j (- (* c a) (* y i)))
4.5b	(* z (* b c))

rewrite168.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-l`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `sub-neg` `associate-r/` `prod-diff` `-commutative` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`distribute-lft-neg-out` `neg-mul-1`

Counts

4 → 104

Calls

4 calls:

29.0ms	(* (- t) (* i b))
45.0ms	(* x (- (* y z) (* t a)))
55.0ms	(* j (- (* c a) (* y i)))
33.0ms	(* z (* b c))

series316.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.4s

Counts

116 → 116

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	207	1171
1	507	1151
2	1665	1009
done	5001	1005

prune732.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.6b

localize50.0ms

Local error

Found 4 expressions with local error:

3.7b	(* a (* x t))
4.0b	(* j (- (* c a) (* y i)))
4.5b	(* (* y z) x)
4.5b	(* z (* b c))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt`
10×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `associate-*r/` `prod-diff`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 88

Calls

4 calls:

17.0ms	(* a (* x t))
63.0ms	(* j (- (* c a) (* y i)))
36.0ms	(* (* y z) x)
34.0ms	(* z (* b c))

series241.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* a (* x t))
116.0ms	(* j (- (* c a) (* y i)))
51.0ms	(* (* y z) x)
41.0ms	(* z (* b c))

simplify1.7s

Counts

100 → 100

Iterations

Useful iterations: 2 (363.0ms)

Iter	Nodes	Cost
0	173	874
1	415	860
2	1427	727
done	5000	727

prune566.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 2.0b

regimes1.4s

Accuracy

38.9% (6.3b remaining)

Error of 8.9b against oracle of 2.6b and baseline of 13.0b

bsearch251.0ms

Steps

Iters	Range		Point
5	9.14414776254702e-60	2.8489707944176224e-59	1.5026714800454378e-59
5	-2.580162866815094e+19	-7.624703891016269e+18	-1.6338913489800448e+19

simplify18.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	124
1	78	124
2	89	124
3	96	124
done	96	124

end0.0ms

sample5.7s

Algorithm

intervals

Results

3.8s

19074×

body

valid