Details

sample121.0ms

Algorithm

intervals

Results

63.0ms	72×	body	1280	valid
28.0ms	65×	body	640	valid
5.0ms	23×	body	320	valid
4.0ms	78×	body	80	valid
3.0ms	91×	body	80	nan
2.0ms	18×	body	160	valid

simplify2.0ms

Counts: 1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 42.1b

localize4.0ms

Local error

Found 1 expressions with local error:

5.4b	(log (+ 1.0 x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

4×	`log-prod` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
1×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

5.0ms

(log (+ 1.0 x))

series68.0ms

Counts

1 → 3

Calls

1 calls:

68.0ms

(log (+ 1.0 x))

simplify54.0ms

Counts: 18 → 18

prune67.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 1 expressions with local error:

0.0b	(* 1/2 (/ (pow x 2) (pow 1.0 2)))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
69×	`add-sqr-sqrt`
68×	`associate-r`
56×	`unpow-prod-down`
35×	`add-cube-cbrt` `*-un-lft-identity`
24×	`add-exp-log` `unpow2` `sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
6×	`pow-to-exp` `pow-exp` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`cbrt-unprod`
1×	`cbrt-undiv` `associate-r/` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 110

Calls

1 calls:

81.0ms

(* 1/2 (/ (pow x 2) (pow 1.0 2)))

series85.0ms

Counts

1 → 3

Calls

1 calls:

85.0ms

(* 1/2 (/ (pow x 2) (pow 1.0 2)))

simplify30.0ms

Counts: 113 → 113

prune414.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x x) (* 1.0 x))
0.3b	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
13.9b	(log (+ (pow 1.0 3) (pow x 3)))
15.6b	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
24×	`log-prod`
10×	`pow1` `add-sqr-sqrt` `distribute-lft-out`
9×	`associate--l+`
8×	`add-cube-cbrt` `unpow-prod-down` `log-div` `cube-prod`
6×	`add-exp-log` `log-pow` `add-log-exp`
4×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out--`
3×	`associate--r+`
2×	`associate--l-` `sub-neg` `flip3--` `diff-log` `rem-log-exp` `sum-cubes` `flip--` `associate--r-`
1×	`distribute-rgt-out--` `difference-of-squares`

Counts

4 → 80

Calls

4 calls:

16.0ms	(- (* x x) (* 1.0 x))
80.0ms	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
36.0ms	(log (+ (pow 1.0 3) (pow x 3)))
32.0ms	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))

series876.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(- (* x x) (* 1.0 x))
186.0ms	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
477.0ms	(log (+ (pow 1.0 3) (pow x 3)))
122.0ms	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))

simplify55.0ms

Counts: 92 → 92

prune320.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))
0.0b	(+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2)))))
0.1b	(* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3)))
10.5b	(+ (+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

rewrite479.0ms

Algorithm

rewrite-expression-head

Rules

202×	`times-frac`
185×	`add-sqr-sqrt`
148×	`associate-r`
88×	`unpow-prod-down` `cube-prod`
84×	`add-cube-cbrt` `*-un-lft-identity`
60×	`add-exp-log`
40×	`sqr-pow`
34×	`frac-add` `unswap-sqr`
28×	`div-exp`
24×	`cube-mult` `unpow3`
23×	`associate-*r/`
20×	`prod-exp` `add-log-exp`
16×	`add-cbrt-cube`
14×	`flip3-+` `flip-+`
13×	`associate-l`
12×	`pow-to-exp` `pow-exp`
10×	`sum-log`
8×	`flip3--` `flip--`
7×	`frac-times` `associate-*l/`
6×	`pow1`
5×	`associate-+r+`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`+-commutative`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-inv`
1×	`associate-+l+` `pow-prod-down` `*-commutative`

Counts

4 → 295

Calls

4 calls:

12.0ms	(+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))
39.0ms	(+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2)))))
125.0ms	(* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3)))
284.0ms	(+ (+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

series690.0ms

Counts

4 → 12

Calls

4 calls:

181.0ms	(+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))
265.0ms	(+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2)))))
87.0ms	(* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3)))
157.0ms	(+ (+ (* (/ 6004799503160661.0 18014398509481984.0) (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* (/ 1.0 2.0) (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

simplify94.0ms

Counts: 307 → 307

prune1.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes196.0ms

Accuracy

99.3% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 21.1b

bsearch3.0ms

simplify132.0ms

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.5s	2311×	body	1280	valid
520.0ms	1637×	body	640	valid
181.0ms	2707×	body	80	nan
162.0ms	815×	body	320	valid
98.0ms	2794×	body	80	valid
44.0ms	443×	body	160	valid