Details

Time bar (total: 44.3s)

sample136.0ms

Algorithm
intervals
Results
83.0ms82×body10240exit
26.0ms275×body80valid
5.0ms10×body640valid
3.0ms2×body1280valid
2.0ms5×body320valid
1.0ms6×body160valid

simplify23.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
23.0ms
(- (log (+ 1 (exp x))) (* x y))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize14.0ms

Local error

Found 3 expressions with local error:

0.3b
(log (+ 1 (exp x)))
0.0b
(+ 1 (exp x))
0.0b
(- (log (+ 1 (exp x))) (* x y))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×log-prod
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×pow1 log-div associate--l+ add-exp-log
3×flip3-+ add-cbrt-cube flip-+ insert-posit16 distribute-lft-out
2×associate--l-
1×+-commutative sum-log sub-neg flip3-- diff-log rem-log-exp log-pow flip--
Counts
3 → 48
Calls
3 calls:
Slowest
15.0ms
(- (log (+ 1 (exp x))) (* x y))
6.0ms
(log (+ 1 (exp x)))
6.0ms
(+ 1 (exp x))

series155.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
76.0ms
(log (+ 1 (exp x)))
65.0ms
(- (log (+ 1 (exp x))) (* x y))
14.0ms
(+ 1 (exp x))

simplify748.0ms

Counts
25 → 57
Calls
25 calls:
Slowest
106.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
89.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
89.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
81.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
63.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))

prune615.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (log 2) (* x (+ (* x 1/8) 1/2))) (* x y))
0.0b
(+ (log 2) (* x (+ (* x 1/8) 1/2)))
0.0b
(* x (+ (* x 1/8) 1/2))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×*-un-lft-identity add-cube-cbrt
5×pow1 add-cbrt-cube add-exp-log
3×associate-+l+ log-prod associate-*r* associate-*l* insert-posit16
2×distribute-rgt-in associate-+r+ sum-log distribute-lft-in flip3-+ diff-log associate-*r/ flip-+
1×+-commutative sub-neg flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 55
Calls
3 calls:
Slowest
38.0ms
(- (+ (log 2) (* x (+ (* x 1/8) 1/2))) (* x y))
28.0ms
(* x (+ (* x 1/8) 1/2))
7.0ms
(+ (log 2) (* x (+ (* x 1/8) 1/2)))

series181.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
88.0ms
(* x (+ (* x 1/8) 1/2))
47.0ms
(- (+ (log 2) (* x (+ (* x 1/8) 1/2))) (* x y))
46.0ms
(+ (log 2) (* x (+ (* x 1/8) 1/2)))

simplify2.6s

Counts
32 → 64
Calls
32 calls:
Slowest
641.0ms
(+ (* (* x 1/8) (* x 1/8)) (- (* 1/2 1/2) (* (* x 1/8) 1/2)))
453.0ms
(* 2 (exp (* x (+ (* x 1/8) 1/2))))
231.0ms
(* (* (* x x) x) (* (* (+ (* x 1/8) 1/2) (+ (* x 1/8) 1/2)) (+ (* x 1/8) 1/2)))
210.0ms
(- (+ (* 1/2 x) (* 1/8 (pow x 2))) (* x y))
181.0ms
(- (+ (* 1/2 x) (* 1/8 (pow x 2))) (* x y))

prune583.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

16.5b
(/ (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))))
0.7b
(pow (log (+ 1 (exp x))) 3)
0.7b
(* (log (+ 1 (exp x))) (log (+ 1 (exp x))))
0.3b
(* (* x y) (* x y))

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
73×add-sqr-sqrt
59×pow1
45×*-un-lft-identity
39×times-frac
32×difference-of-squares
31×add-cube-cbrt
25×sqr-pow
21×add-cbrt-cube add-exp-log
18×pow-prod-down
13×associate-/l*
12×unpow-prod-down cube-prod
9×prod-exp cbrt-unprod
8×log-prod log-pow
7×swap-sqr
5×associate-*r* associate-*l* pow-sqr pow-prod-up
4×distribute-rgt-in difference-cubes distribute-lft-in insert-posit16 distribute-lft-out-- add-log-exp
3×pow-unpow associate-/r* pow-plus
2×pow2 associate-/r/ *-commutative distribute-lft-out associate-/l/
1×cube-mult pow-to-exp cbrt-undiv clear-num pow-pow frac-2neg flip3-+ flip3-- unpow3 div-sub div-exp pow-exp flip-+ div-inv flip-- rem-cube-cbrt unswap-sqr
Counts
4 → 173
Calls
4 calls:
Slowest
175.0ms
(/ (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))))
44.0ms
(* (* x y) (* x y))
26.0ms
(* (log (+ 1 (exp x))) (log (+ 1 (exp x))))
5.0ms
(pow (log (+ 1 (exp x))) 3)

series497.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
235.0ms
(/ (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))))
118.0ms
(pow (log (+ 1 (exp x))) 3)
89.0ms
(* (log (+ 1 (exp x))) (log (+ 1 (exp x))))
54.0ms
(* (* x y) (* x y))

simplify31.1s

Counts
192 → 185
Calls
192 calls:
Slowest
971.0ms
(* (* (* (* x x) x) (* (* y y) y)) (* (* (* x x) x) (* (* y y) y)))
696.0ms
(/ (* (* (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3)) (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3))) (- (pow (log (+ 1 (exp x))) 3) (pow (* x y) 3))) (* (* (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y))))) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y))))))
686.0ms
(* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y)))
529.0ms
(pow (* (cbrt (log (+ 1 (exp x)))) (cbrt (log (+ 1 (exp x))))) 3)
492.0ms
(pow (* (cbrt (log (+ 1 (exp x)))) (cbrt (log (+ 1 (exp x))))) 3)

prune2.7s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes128.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch2.0ms

end0.0ms

sample4.4s

Algorithm
intervals
Results
2.3s2430×body10240exit
1.4s8423×body80valid
164.0ms249×body640valid
130.0ms133×body1280valid
95.0ms187×body320valid
58.0ms101×body160valid