Details

sample171.0ms

Algorithm

intervals

Results

87.0ms

579×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 4 (267.0ms)

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

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.3b

localize63.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* c a) (* y i))
4.1b	(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
5.7b	(* j (- (* c a) (* y i)))
5.8b	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

18.0ms	(- (* c a) (* y i))
0.0ms	(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
52.0ms	(* j (- (* c a) (* y i)))
1.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

series1.3s

Counts

4 → 12

Calls

4 calls:

72.0ms	(- (* c a) (* y i))
733.0ms	(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
103.0ms	(* j (- (* c a) (* y i)))
355.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

simplify1.0s

Counts

76 → 76

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	119	1239
1	284	1222
2	1017	1077
done	5000	1071

prune790.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.2b

localize82.0ms

Local error

Found 4 expressions with local error:

5.7b	(* j (- (* c a) (* y i)))
5.8b	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
5.8b	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
5.8b	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

62.0ms	(* j (- (* c a) (* y i)))
1.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
1.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
1.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

series1.0s

Counts

4 → 12

Calls

4 calls:

104.0ms	(* j (- (* c a) (* y i)))
320.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
304.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
318.0ms	(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

simplify2.7s

Counts

70 → 70

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	88	1201
1	215	1192
2	791	1041
3	4096	1035
done	5000	1035

prune1.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.2b

localize57.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (* a j) (* z b))
4.1b	(fma x (- (* y z) (* t a)) (- (* c (- (* a j) (* z b))) (* i (* y j))))
5.1b	(* c (- (* a j) (* z b)))
6.0b	(* i (* y j))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

17.0ms	(- (* a j) (* z b))
1.0ms	(fma x (- (* y z) (* t a)) (- (* c (- (* a j) (* z b))) (* i (* y j))))
31.0ms	(* c (- (* a j) (* z b)))
34.0ms	(* i (* y j))

series906.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(- (* a j) (* z b))
714.0ms	(fma x (- (* y z) (* t a)) (- (* c (- (* a j) (* z b))) (* i (* y j))))
111.0ms	(* c (- (* a j) (* z b)))
33.0ms	(* i (* y j))

simplify1.1s

Counts

86 → 86

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	134	1093
1	331	1075
2	1472	940
done	5001	938

prune722.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 4.2b

localize49.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (* a j) (* z b))
4.1b	(* x (- (* y z) (* t a)))
5.1b	(* c (- (* a j) (* z b)))
6.0b	(* i (* y j))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

18.0ms	(- (* a j) (* z b))
39.0ms	(* x (- (* y z) (* t a)))
52.0ms	(* c (- (* a j) (* z b)))
35.0ms	(* i (* y j))

series289.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (* a j) (* z b))
114.0ms	(* x (- (* y z) (* t a)))
91.0ms	(* c (- (* a j) (* z b)))
35.0ms	(* i (* y j))

simplify1.1s

Counts

104 → 104

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	176	1134
1	459	1115
2	2153	993
done	5001	985

prune653.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 4.2b

regimes3.0s

Accuracy

21.9% (6.4b remaining)

Error of 11.9b against oracle of 5.4b and baseline of 13.7b

bsearch301.0ms

Steps

Iters	Range		Point
9	2.151432653922114e-92	5.006403849930933e-87	3.0540337542871992e-89
8	-3.2630815614310545e-118	-7.266096780818053e-122	-3.6251610344492796e-120

simplify14.0ms

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	42	208
1	68	123
2	74	123
3	75	123
done	75	123

end0.0ms

sample4.6s

Algorithm

intervals

Results

2.7s

18744×

body

valid