Details

sample107.0ms

Algorithm

intervals

Results

62.0ms	81×	body	1280	valid
20.0ms	58×	body	640	valid
5.0ms	25×	body	320	valid
4.0ms	82×	body	80	valid
2.0ms	75×	body	80	nan
1.0ms	10×	body	160	valid

simplify2.0ms

Counts: 1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 41.0b

localize5.0ms

Local error

Found 1 expressions with local error:

3.0b	(log (+ 1.0 x))

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

series58.0ms

Counts

1 → 3

Calls

1 calls:

58.0ms

(log (+ 1.0 x))

simplify37.0ms

Counts: 18 → 18

prune86.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b	(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b	(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

rewrite168.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
70×	`add-sqr-sqrt`
68×	`associate-r`
56×	`unpow-prod-down`
36×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log`
24×	`unpow2` `sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
7×	`add-cbrt-cube`
6×	`pow-to-exp` `pow-exp` `add-log-exp`
4×	`pow1`
3×	`associate-r/` `associate-l*`
2×	`diff-log` `frac-sub` `cbrt-unprod`
1×	`cbrt-undiv` `sub-neg` `flip3--` `flip3-+` `pow-prod-down` `associate--l+` `sum-log` `*-commutative` `flip--` `flip-+` `div-inv`

Counts

2 → 126

Calls

2 calls:

52.0ms	(* 1/2 (/ (pow x 2) (pow 1.0 2)))
105.0ms	(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

series140.0ms

Counts

2 → 6

Calls

2 calls:

75.0ms	(* 1/2 (/ (pow x 2) (pow 1.0 2)))
64.0ms	(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

simplify52.0ms

Counts: 132 → 132

prune407.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x x) (* 1.0 x))
0.2b	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
13.7b	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
14.2b	(log (+ (pow 1.0 3) (pow x 3)))

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

8.0ms	(- (* x x) (* 1.0 x))
65.0ms	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
35.0ms	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
18.0ms	(log (+ (pow 1.0 3) (pow x 3)))

series847.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(- (* x x) (* 1.0 x))
224.0ms	(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
91.0ms	(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
443.0ms	(log (+ (pow 1.0 3) (pow x 3)))

simplify56.0ms

Counts: 92 → 92

prune365.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow x 2) (/ (pow x 3) (pow 1.0 2)))
0.0b	(+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))
0.1b	(* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3)))
11.1b	(+ (+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

rewrite517.0ms

Algorithm

rewrite-expression-head

Rules

160×	`times-frac`
148×	`associate-r`
120×	`add-sqr-sqrt`
80×	`unpow-prod-down` `*-un-lft-identity` `cube-prod`
78×	`add-cube-cbrt`
32×	`sqr-pow`
27×	`add-exp-log`
24×	`cube-mult` `unpow3`
20×	`add-log-exp`
17×	`unswap-sqr`
15×	`associate-*r/`
14×	`frac-add`
10×	`prod-exp` `sum-log`
9×	`div-exp` `add-cbrt-cube`
8×	`flip3-+` `flip-+`
6×	`pow1` `pow-to-exp` `pow-exp`
5×	`associate-+r+`
4×	`flip3--` `flip--`
3×	`+-commutative` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `cbrt-unprod`
1×	`cbrt-undiv` `associate-+l+` `pow-prod-down` `*-commutative` `div-inv` `distribute-lft-out`

Counts

4 → 243

Calls

4 calls:

85.0ms	(+ (pow x 2) (/ (pow x 3) (pow 1.0 2)))
68.0ms	(+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))
72.0ms	(* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3)))
271.0ms	(+ (+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

series805.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(+ (pow x 2) (/ (pow x 3) (pow 1.0 2)))
361.0ms	(+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))
123.0ms	(* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3)))
147.0ms	(+ (+ (* 0.3333333333333333 (/ (pow x 3) (pow 1.0 3))) (+ (* 1.0 (pow x 3)) (* 0.5 (/ (pow x 2) (pow 1.0 2))))) (* 1.0 (- x (+ (pow x 2) (/ (pow x 3) (pow 1.0 2))))))

simplify87.0ms

Counts: 255 → 255

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes177.0ms

Accuracy

97.9% (0.5b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 21.8b

bsearch1.0ms

simplify108.0ms

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.5s	2259×	body	1280	valid
1.0s	1682×	body	640	valid
128.0ms	808×	body	320	valid
100.0ms	2651×	body	80	nan
97.0ms	2843×	body	80	valid
38.0ms	408×	body	160	valid