Details

Time bar (total: 16.1s)

sample118.0ms

Algorithm
intervals
Results
58.0ms64×body1280valid
29.0ms61×body640valid
8.0ms31×body320valid
5.0ms82×body80valid
4.0ms83×body80nan
3.0ms18×body160valid

simplify13.0ms

Calls
1 calls:
Slowest
13.0ms
(log (+ 1 x))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.8b

localize12.0ms

Local error

Found 1 expressions with local error:

5.0b
(log (+ 1 x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×log-prod
2×add-sqr-sqrt pow1 log-div *-un-lft-identity add-exp-log add-cube-cbrt
1×flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
2.0ms
(log (+ 1 x))

series45.0ms

Calls
1 calls:
Slowest
45.0ms
(log (+ 1 x))

simplify876.0ms

Calls
9 calls:
Slowest
440.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
196.0ms
(- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
168.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
26.0ms
(log (- (* 1 1) (* x x)))
18.0ms
(log (+ (pow 1 3) (pow x 3)))

prune155.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 3 expressions with local error:

0.4b
(* x 1/3)
0.0b
(* (* x x) (- 1/2 (* x 1/3)))
0.0b
(- 1/2 (* x 1/3))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
5×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×sub-neg associate-*r* insert-posit16 add-log-exp
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ *-commutative flip--
1×associate-*l* pow-prod-down prod-exp cbrt-unprod
Calls
3 calls:
Slowest
9.0ms
(* (* x x) (- 1/2 (* x 1/3)))
1.0ms
(- 1/2 (* x 1/3))
0.0ms
(* x 1/3)

series71.0ms

Calls
3 calls:
Slowest
34.0ms
(* (* x x) (- 1/2 (* x 1/3)))
27.0ms
(- 1/2 (* x 1/3))
11.0ms
(* x 1/3)

simplify1.2s

Calls
21 calls:
Slowest
143.0ms
(* (* x x) (- 1/2 (* x 1/3)))
118.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (- 1/2 (* x 1/3)) (- 1/2 (* x 1/3))) (- 1/2 (* x 1/3))))
104.0ms
(* (* x x) (- (* x 1/3)))
99.0ms
(- (* 1/2 (pow x 2)) (* 1/3 (pow x 3)))
88.0ms
(- (* 1/2 (pow x 2)) (* 1/3 (pow x 3)))

prune414.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

14.7b
(log (+ (* 1 1) (- (* x x) (* 1 x))))
13.4b
(log (+ 1 (* x (* x x))))
0.3b
(- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))
0.1b
(* x (* x x))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
14×log-prod *-un-lft-identity
10×add-sqr-sqrt pow1
8×log-div add-cube-cbrt
6×add-exp-log log-pow
4×flip3-+ add-cbrt-cube flip-+ insert-posit16 associate--r+ distribute-lft-out-- add-log-exp
3×associate--l+
2×associate--l- rem-log-exp distribute-lft-out associate--r-
1×sub-neg flip3-- diff-log cube-unmult associate-*r* *-commutative flip-- difference-of-squares
Calls
4 calls:
Slowest
20.0ms
(- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))
6.0ms
(log (+ (* 1 1) (- (* x x) (* 1 x))))
2.0ms
(log (+ 1 (* x (* x x))))
2.0ms
(* x (* x x))

series441.0ms

Calls
4 calls:
Slowest
325.0ms
(log (+ 1 (* x (* x x))))
72.0ms
(- (log (+ 1 (* x (* x x)))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))
31.0ms
(log (+ (* 1 1) (- (* x x) (* 1 x))))
13.0ms
(* x (* x x))

simplify4.6s

Calls
43 calls:
Slowest
472.0ms
(- (+ (* 1/3 (pow x 9)) (pow x 3)) (* 1/2 (pow x 6)))
404.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* x x) (* 1 x)) 3)))
369.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* x x) (* 1 x)) (- (* x x) (* 1 x)))))
285.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
273.0ms
(- (+ (log -1) (/ 1 (pow x 3))) (+ (* 3 (log (/ -1 x))) (* 1/2 (/ 1 (pow x 6)))))

prune613.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

14.7b
(log (+ (* 1 1) (- (* x x) (* 1 x))))
11.4b
(log (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))))
11.4b
(cbrt (+ 1 (* x (* x x))))
11.4b
(cbrt (+ 1 (* x (* x x))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-div
11×pow1
10×log-div
9×flip3-+ flip-+
8×*-un-lft-identity add-exp-log log-pow
7×add-sqr-sqrt add-cube-cbrt
6×cbrt-prod pow1/3
5×log-prod
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
3×rem-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp distribute-lft-out
Calls
4 calls:
Slowest
7.0ms
(log (+ (* 1 1) (- (* x x) (* 1 x))))
6.0ms
(log (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))))
1.0ms
(cbrt (+ 1 (* x (* x x))))
1.0ms
(cbrt (+ 1 (* x (* x x))))

series1.2s

Calls
4 calls:
Slowest
664.0ms
(log (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))))
271.0ms
(cbrt (+ 1 (* x (* x x))))
234.0ms
(cbrt (+ 1 (* x (* x x))))
35.0ms
(log (+ (* 1 1) (- (* x x) (* 1 x))))

simplify3.3s

Calls
43 calls:
Slowest
348.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* x x) (* 1 x)) 3)))
347.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* x x) (* 1 x)) (- (* x x) (* 1 x)))))
163.0ms
(- (* 1/2 (/ 1 (pow x 2))) (+ (* 2 (log (/ -1 x))) (/ 1 x)))
145.0ms
(- (+ (* 2/3 (/ 1 (pow x 3))) (log (pow (/ -1 x) -2))) (* 1/3 (/ 1 (pow x 6))))
141.0ms
(- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))

prune637.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes106.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 20.8b

bsearch28.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s2263×body1280valid
459.0ms1643×body640valid
168.0ms2804×body80valid
146.0ms837×body320valid
66.0ms2691×body80nan
40.0ms453×body160valid