Details

Time bar (total: 20.4s)

sample143.0ms

Algorithm
intervals
Results
89.0ms83×body10240exit
25.0ms266×body80valid
7.0ms8×body1280valid
6.0ms11×body640valid
1.0ms4×body320valid
1.0ms4×body160valid

simplify38.0ms

Calls
1 calls:
Slowest
38.0ms
(- (log (+ 1 (exp x))) (* x y))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize27.0ms

Local error

Found 3 expressions with local error:

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

rewrite50.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--
Calls
3 calls:
Slowest
32.0ms
(- (log (+ 1 (exp x))) (* x y))
9.0ms
(+ 1 (exp x))
8.0ms
(log (+ 1 (exp x)))

series128.0ms

Calls
3 calls:
Slowest
62.0ms
(- (log (+ 1 (exp x))) (* x y))
52.0ms
(log (+ 1 (exp x)))
14.0ms
(+ 1 (exp x))

simplify767.0ms

Calls
25 calls:
Slowest
93.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
86.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
80.0ms
(/ (+ 1 (exp x)) (exp (* x y)))
78.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
72.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))

prune578.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
3.6b
(- (* (exp x) (exp x)) (* 1 (exp x)))
0.5b
(log (+ (exp (+ (+ x x) x)) 1))
0.0b
(* (exp x) (exp x))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
18×add-sqr-sqrt exp-prod
16×add-cube-cbrt
13×pow1
8×log-prod
6×add-cbrt-cube add-exp-log add-log-exp
4×log-div pow-prod-down pow-sqr pow-prod-up insert-posit16
3×swap-sqr associate-*r* associate-*l*
2×flip3-+ rem-log-exp log-pow flip-+ distribute-lft-out
1×pow2 sub-neg pow-plus flip3-- distribute-rgt-out-- diff-log prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Calls
4 calls:
Slowest
139.0ms
(log (+ (exp (+ (+ x x) x)) 1))
34.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
26.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
13.0ms
(* (exp x) (exp x))

series295.0ms

Calls
4 calls:
Slowest
134.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
86.0ms
(log (+ (exp (+ (+ x x) x)) 1))
49.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
25.0ms
(* (exp x) (exp x))

simplify3.8s

Calls
67 calls:
Slowest
492.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x))))))
402.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3)))
302.0ms
(log (+ (pow (exp (+ (+ x x) x)) 3) (pow 1 3)))
224.0ms
(/ (exp (* (exp x) (exp x))) (exp (* 1 (exp x))))
210.0ms
(log (- (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (* 1 1)))

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
14×log-prod
12×sqrt-prod
10×add-sqr-sqrt sqrt-div
9×pow1 add-cube-cbrt
8×log-div
7×add-log-exp
6×add-exp-log log-pow
5×flip3-+ flip-+
4×associate--l- add-cbrt-cube insert-posit16
3×sqrt-pow1 pow1/2 distribute-lft-out
2×associate-+r- diff-log rem-log-exp associate-+l-
1×rem-sqrt-square sum-log sub-neg flip3-- associate--l+ flip--
Calls
4 calls:
Slowest
73.0ms
(- (+ (log (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x))))) (* x y))
11.0ms
(sqrt (+ 1 (exp x)))
7.0ms
(log (sqrt (+ 1 (exp x))))
4.0ms
(log (sqrt (+ 1 (exp x))))

series511.0ms

Calls
4 calls:
Slowest
175.0ms
(- (+ (log (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x))))) (* x y))
159.0ms
(log (sqrt (+ 1 (exp x))))
130.0ms
(log (sqrt (+ 1 (exp x))))
48.0ms
(sqrt (+ 1 (exp x)))

simplify2.8s

Calls
49 calls:
Slowest
362.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
280.0ms
(/ (exp (+ (log (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x)))))) (exp (* x y)))
225.0ms
(/ (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (exp (* x y)))
211.0ms
(+ (log (sqrt (+ 1 (exp x)))) (log (sqrt (+ (pow 1 3) (pow (exp x) 3)))))
211.0ms
(- (+ (* 1/4 (/ (pow x 2) (pow (sqrt 2) 2))) (+ (log (sqrt 2)) (* 1/2 (/ x (pow (sqrt 2) 2))))) (* 1/4 (/ (pow x 2) (pow (sqrt 2) 4))))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×log-prod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 log-div add-exp-log
3×sum-log flip3-+ add-cbrt-cube associate--l+ flip-+ insert-posit16
2×associate--l-
1×+-commutative associate-+r+ sub-neg flip3-- diff-log rem-log-exp log-pow flip--
Calls
3 calls:
Slowest
33.0ms
(log (+ (* x (* x 1/2)) (+ x 2)))
21.0ms
(- (log (+ (* x (* x 1/2)) (+ x 2))) (* x y))
19.0ms
(+ (* x (* x 1/2)) (+ x 2))

series156.0ms

Calls
3 calls:
Slowest
83.0ms
(- (log (+ (* x (* x 1/2)) (+ x 2))) (* x y))
42.0ms
(log (+ (* x (* x 1/2)) (+ x 2)))
31.0ms
(+ (* x (* x 1/2)) (+ x 2))

simplify3.5s

Calls
23 calls:
Slowest
489.0ms
(* (exp (* x (* x 1/2))) (exp (+ x 2)))
365.0ms
(log (+ (pow (* x (* x 1/2)) 3) (pow (+ x 2) 3)))
307.0ms
(log (+ (pow (* x (* x 1/2)) 3) (pow (+ x 2) 3)))
288.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ 1 x))) (* x y)))
275.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ -1 x))) (* x y)))

prune548.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.1b

regimes64.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.8s2417×body10240exit
854.0ms8443×body80valid
147.0ms277×body640valid
120.0ms128×body1280valid
62.0ms184×body320valid
59.0ms105×body160valid