Details

sample180.0ms

Algorithm

intervals

Results

95.0ms

622×

body

valid

simplify3.1s

Counts

1 → 1

Iterations

Useful iterations: 4 (268.0ms)

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.7b

localize31.0ms

Local error

Found 4 expressions with local error:

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

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

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

series1.5s

Counts

4 → 12

Calls

4 calls:

76.0ms	(- (* c t) (* i y))
387.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
122.0ms	(* j (- (* c t) (* i y)))
869.0ms	(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

simplify1.8s

Counts

76 → 76

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	119	1239
1	262	1222
2	707	1071
3	2465	1071
done	5001	1056

prune576.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.3b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* c t) (* i y))
3.2b	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
5.6b	(* j (- (* c t) (* i y)))
6.4b	(* x (- (* y z) (* t a)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 82

Calls

4 calls:

9.0ms	(- (* c t) (* i y))
0.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
36.0ms	(* j (- (* c t) (* i y)))
37.0ms	(* x (- (* y z) (* t a)))

series594.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(- (* c t) (* i y))
337.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
95.0ms	(* j (- (* c t) (* i y)))
104.0ms	(* x (- (* y z) (* t a)))

simplify2.5s

Counts

94 → 94

Iterations

Useful iterations: 2 (267.0ms)

Iter	Nodes	Cost
0	162	1244
1	376	1226
2	1063	1088
3	3762	1088
done	5000	1088

prune580.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.9b

localize45.0ms

Local error

Found 4 expressions with local error:

3.2b	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
4.5b	(* a (* x t))
5.6b	(* j (- (* c t) (* i y)))
5.8b	(* x (* z y))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series532.0ms

Counts

4 → 12

Calls

4 calls:

316.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
42.0ms	(* a (* x t))
118.0ms	(* j (- (* c t) (* i y)))
56.0ms	(* x (* z y))

simplify2.9s

Counts

90 → 90

Iterations

Useful iterations: done (2.9s)

Iter	Nodes	Cost
0	158	981
1	367	970
2	1147	867
3	4110	829
done	5001	819

prune615.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.1b

localize46.0ms

Local error

Found 4 expressions with local error:

3.2b	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
4.4b	(* (* x a) t)
5.6b	(* j (- (* c t) (* i y)))
5.8b	(* x (* z y))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series648.0ms

Counts

4 → 12

Calls

4 calls:

408.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
61.0ms	(* (* x a) t)
126.0ms	(* j (- (* c t) (* i y)))
51.0ms	(* x (* z y))

simplify3.6s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.8s)

Iter	Nodes	Cost
0	159	984
1	374	971
2	1223	862
3	4313	830
done	5000	830

prune582.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 4.1b

regimes1.4s

Accuracy

22.8% (6.0b remaining)

Error of 10.4b against oracle of 4.4b and baseline of 12.1b

bsearch221.0ms

Steps

Iters	Range		Point
10	1.4585225630439099e+50	1.4950919779311055e+60	2.601442109879439e+51

simplify19.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	37	82
1	58	82
2	66	82
done	66	82

end0.0ms

sample6.4s

Algorithm

intervals

Results

4.2s

19110×

body

valid