Details

sample131.0ms

Algorithm

intervals

Results

80.0ms

565×

body

valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	1194
3	333
2	110
1	47
0	23

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.7b

localize68.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* c z) (* t i))
4.1b	(* b (- (* c z) (* t i)))
4.5b	(* j (- (* c a) (* y i)))
6.6b	(* x (- (* y z) (* t a)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
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--` `log1p-expm1-u` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`fma-neg` `diff-log`

Counts

4 → 100

Calls

4 calls:

6.0ms	(- (* c z) (* t i))
29.0ms	(* b (- (* c z) (* t i)))
44.0ms	(* j (- (* c a) (* y i)))
21.0ms	(* x (- (* y z) (* t a)))

series361.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (* c z) (* t i))
98.0ms	(* b (- (* c z) (* t i)))
101.0ms	(* j (- (* c a) (* y i)))
109.0ms	(* x (- (* y z) (* t a)))

simplify854.0ms

Counts

112 → 112

Iterations

Iter	Nodes
done	5000
2	2311
1	530
0	200

prune1.2s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 4.5b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b	(fma i t (- (* z c)))
3.8b	(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
4.4b	(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
6.6b	(* (fma (- a) t (* z y)) x)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `associate-l` `fma-udef`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 50

Calls

4 calls:

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

series1.3s

Counts

4 → 12

Calls

4 calls:

74.0ms	(fma i t (- (* z c)))
284.0ms	(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
771.0ms	(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
123.0ms	(* (fma (- a) t (* z y)) x)

simplify2.1s

Counts

62 → 62

Iterations

Iter	Nodes
done	5000
3	2993
2	475
1	174
0	95

prune911.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.9b

localize86.0ms

Local error

Found 4 expressions with local error:

1.9b	(* (fma c a (- (* y i))) (cbrt j))
2.9b	(* (* (cbrt j) (cbrt j)) (* (fma c a (- (* y i))) (cbrt j)))
4.1b	(* b (- (* c z) (* t i)))
6.6b	(* x (- (* y z) (* t a)))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 104

Calls

4 calls:

14.0ms	(* (fma c a (- (* y i))) (cbrt j))
58.0ms	(* (* (cbrt j) (cbrt j)) (* (fma c a (- (* y i))) (cbrt j)))
21.0ms	(* b (- (* c z) (* t i)))
47.0ms	(* x (- (* y z) (* t a)))

series597.0ms

Counts

4 → 12

Calls

4 calls:

216.0ms	(* (fma c a (- (* y i))) (cbrt j))
159.0ms	(* (* (cbrt j) (cbrt j)) (* (fma c a (- (* y i))) (cbrt j)))
107.0ms	(* b (- (* c z) (* t i)))
115.0ms	(* x (- (* y z) (* t a)))

simplify1.1s

Counts

116 → 116

Iterations

Iter	Nodes
done	5001
2	2569
1	583
0	218

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.9b

localize49.0ms

Local error

Found 4 expressions with local error:

4.5b	(* j (- (* c a) (* y i)))
5.0b	(* b (* c z))
6.0b	(* i (* t b))
6.6b	(* x (- (* y z) (* t a)))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

28.0ms	(* j (- (* c a) (* y i)))
15.0ms	(* b (* c z))
13.0ms	(* i (* t b))
38.0ms	(* x (- (* y z) (* t a)))

series288.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(* j (- (* c a) (* y i)))
30.0ms	(* b (* c z))
28.0ms	(* i (* t b))
126.0ms	(* x (- (* y z) (* t a)))

simplify997.0ms

Counts

108 → 108

Iterations

Iter	Nodes
done	5001
2	2079
1	511
0	198

prune1.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.3b

regimes2.9s

Accuracy

22.4% (10.0b remaining)

Error of 10.6b against oracle of 0.7b and baseline of 13.5b

bsearch985.0ms

Steps

Iters	Range		Point
10	1.1120187522348944e+133	5.364038384255635e+145	4.4361120831256703e+133
5	5.7705921213355006e-77	2.0859722229398294e-76	1.569768768932547e-76
9	5.492613274522256e-278	9.158652771481784e-273	1.5153651838257603e-274
9	-1.660243633207891e-87	-1.4193852563330904e-93	-4.744514932447807e-89
6	-2.603341046753655e-36	-3.0442600942321496e-37	-7.555102642495297e-37
8	-7.008542332837685e+90	-6.0648428765404965e+87	-1.0986215975605004e+88

simplify38.0ms

Iterations

Iter	Nodes
done	144
3	144
2	140
1	119
0	75

end0.0ms

sample4.6s

Algorithm

intervals

Results

3.3s

19345×

body

valid