Details

Time bar (total: 23.7s)

sample109.0ms

Algorithm
intervals
Results
64.0ms77×body1280valid
21.0ms56×body640valid
6.0ms28×body320valid
4.0ms104×body80nan
4.0ms80×body80valid
2.0ms15×body160valid

simplify7.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.9b

localize13.0ms

Local error

Found 1 expressions with local error:

4.4b
(log (+ 1 x))

rewrite1.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
1.0ms
(log (+ 1 x))

series24.0ms

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

simplify779.0ms

Calls
9 calls:
Slowest
429.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
147.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
138.0ms
(- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
19.0ms
(log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
15.0ms
(log (- (* 1 1) (* x x)))

prune144.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize13.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
(- x (* (* x x) (- 1/2 (* x 1/3))))

rewrite10.0ms

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

series81.0ms

Calls
3 calls:
Slowest
47.0ms
(* (* x x) (- 1/2 (* x 1/3)))
23.0ms
(- x (* (* x x) (- 1/2 (* x 1/3))))
11.0ms
(* x 1/3)

simplify1.7s

Calls
25 calls:
Slowest
164.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
162.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
147.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
139.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (- 1/2 (* x 1/3)) (- 1/2 (* x 1/3))) (- 1/2 (* x 1/3))))
119.0ms
(* (* x x) (- 1/2 (* x 1/3)))

prune374.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 4 expressions with local error:

13.9b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
13.9b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
13.9b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
0.4b
(* (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))) (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))))

rewrite9.0ms

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

series272.0ms

Calls
4 calls:
Slowest
78.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
72.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
66.0ms
(* (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))) (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))))
56.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))

simplify12.0s

Calls
59 calls:
Slowest
564.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
545.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
524.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
337.0ms
(- (+ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (* 3/4 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (pow x 2)))) (* 1/2 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) x)))
336.0ms
(- (+ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (* 3/4 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (pow x 2)))) (* 1/2 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) x)))

prune763.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

4.4b
(log (+ 1 x))
4.4b
(log (+ 1 x))
4.4b
(log (+ 1 x))
0.2b
(cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))

rewrite24.0ms

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

series134.0ms

Calls
4 calls:
Slowest
39.0ms
(log (+ 1 x))
37.0ms
(log (+ 1 x))
29.0ms
(cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))
29.0ms
(log (+ 1 x))

simplify2.9s

Calls
32 calls:
Slowest
388.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
376.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
361.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
350.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
162.0ms
(- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))

prune503.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes90.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 20.1b

bsearch29.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.9s2353×body1280valid
1.0s1681×body640valid
181.0ms829×body320valid
177.0ms2742×body80valid
125.0ms2662×body80nan
87.0ms395×body160valid