Details

sample109.0ms

Algorithm

intervals

Results

55.0ms

622×

body

valid

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 4 (236.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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.7b

localize25.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)))))

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

11.0ms	(- (* c t) (* i y))
1.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
44.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.2s

Counts

4 → 12

Calls

4 calls:

57.0ms	(- (* c t) (* i y))
288.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
108.0ms	(* j (- (* c t) (* i y)))
741.0ms	(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

simplify2.1s

Counts

76 → 76

Iterations

Useful iterations: done (2.1s)

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

prune548.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.3b

localize34.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)))

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

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

series659.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(- (* c t) (* i y))
358.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
112.0ms	(* j (- (* c t) (* i y)))
121.0ms	(* x (- (* y z) (* t a)))

simplify2.2s

Counts

94 → 94

Iterations

Useful iterations: 2 (185.0ms)

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

prune573.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.9b

localize29.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))

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

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

series551.0ms

Counts

4 → 12

Calls

4 calls:

347.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
35.0ms	(* a (* x t))
119.0ms	(* j (- (* c t) (* i y)))
50.0ms	(* x (* z y))

simplify3.0s

Counts

90 → 90

Iterations

Useful iterations: done (3.0s)

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

prune580.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.1b

localize45.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))))
37.0ms	(* (* x a) t)
44.0ms	(* j (- (* c t) (* i y)))
20.0ms	(* x (* z y))

series536.0ms

Counts

4 → 12

Calls

4 calls:

339.0ms	(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
33.0ms	(* (* x a) t)
120.0ms	(* j (- (* c t) (* i y)))
43.0ms	(* x (* z y))

simplify3.6s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.9s)

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

prune515.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

bsearch263.0ms

Steps

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

simplify11.0ms

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample6.6s

Algorithm

intervals

Results

4.4s

19110×

body

valid