Details

Time bar (total: 48.0s)

sample102.0ms

Algorithm
intervals
Results
57.0ms74×body10240exit
22.0ms265×body80valid
5.0ms5×body1280valid
5.0ms10×body640valid
1.0ms5×body320valid
1.0ms3×body160valid

simplify37.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

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

series115.0ms

Calls
3 calls:
Slowest
59.0ms
(log (+ 1 (exp x)))
45.0ms
(- (log (+ 1 (exp x))) (* x y))
12.0ms
(+ 1 (exp x))

simplify482.0ms

Calls
21 calls:
Slowest
76.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
47.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
44.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
36.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
35.0ms
(log (- (* 1 1) (* (exp x) (exp x))))

prune576.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
0.0b
(* (+ 1 (exp x)) (+ 1 (exp x)))
0.0b
(* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
0.0b
(+ 1 (exp x))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
61×flip3-+ flip-+
60×frac-times
30×associate-*l/
26×log-div cbrt-div
24×pow1
18×associate-*r/
12×add-exp-log
11×add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-plus associate-*r* pow-prod-up
4×log-prod associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×pow2
2×distribute-rgt-in distribute-lft-in log-pow *-commutative
1×cbrt-prod +-commutative pow1/3 rem-log-exp pow3
Calls
4 calls:
Slowest
16.0ms
(log (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
15.0ms
(* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
5.0ms
(* (+ 1 (exp x)) (+ 1 (exp x)))
1.0ms
(+ 1 (exp x))

series105.0ms

Calls
4 calls:
Slowest
64.0ms
(log (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))
17.0ms
(* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
15.0ms
(* (+ 1 (exp x)) (+ 1 (exp x)))
9.0ms
(+ 1 (exp x))

simplify32.1s

Calls
132 calls:
Slowest
1.4s
(* (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (* (+ 1 (exp x)) (+ 1 (exp x)))) (* (+ 1 (exp x)) (+ 1 (exp x)))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))
895.0ms
(* (* (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))
814.0ms
(* (* (+ 1 (exp x)) (- (* 1 1) (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) (exp x))))
730.0ms
(* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- 1 (exp x)))
713.0ms
(log (cbrt (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ 1 (exp x))) (+ 1 (exp x)))))

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize18.0ms

Local error

Found 3 expressions with local error:

6.8b
(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))

rewrite19.0ms

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

series92.0ms

Calls
3 calls:
Slowest
44.0ms
(- (log (+ (* (* x x) 1/2) (+ x 2))) (* x y))
34.0ms
(log (+ (* (* x x) 1/2) (+ x 2)))
14.0ms
(+ (* (* x x) 1/2) (+ x 2))

simplify2.8s

Calls
22 calls:
Slowest
318.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ 1 x))) (* x y)))
277.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ -1 x))) (* x y)))
257.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ 1 x))))
256.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ -1 x))))
230.0ms
(log (+ (pow (* (* x x) 1/2) 3) (pow (+ x 2) 3)))

prune564.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize9.0ms

Local error

Found 4 expressions with local error:

6.8b
(log (+ (* (* x x) 1/2) (+ x 2)))
0.3b
(exp (log (log (+ (* (* x x) 1/2) (+ x 2)))))
0.1b
(log (log (+ (* (* x x) 1/2) (+ x 2))))
0.0b
(- (exp (log (log (+ (* (* x x) 1/2) (+ x 2))))) (* x y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
11×log-prod
9×pow1
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-exp-log add-log-exp
5×log-pow
4×exp-prod add-cbrt-cube exp-sum insert-posit16
2×log-div rem-log-exp
1×sub-neg flip3-+ flip3-- diff-log flip-+ flip-- rem-exp-log
Calls
4 calls:
Slowest
14.0ms
(- (exp (log (log (+ (* (* x x) 1/2) (+ x 2))))) (* x y))
5.0ms
(log (+ (* (* x x) 1/2) (+ x 2)))
3.0ms
(exp (log (log (+ (* (* x x) 1/2) (+ x 2)))))
1.0ms
(log (log (+ (* (* x x) 1/2) (+ x 2))))

series148.0ms

Calls
4 calls:
Slowest
52.0ms
(- (exp (log (log (+ (* (* x x) 1/2) (+ x 2))))) (* x y))
46.0ms
(log (log (+ (* (* x x) 1/2) (+ x 2))))
26.0ms
(exp (log (log (+ (* (* x x) 1/2) (+ x 2)))))
24.0ms
(log (+ (* (* x x) 1/2) (+ x 2)))

simplify4.2s

Calls
33 calls:
Slowest
454.0ms
(- (+ (* 2 (/ 1 (* x (- (log 1/2) (* 2 (log (/ -1 x))))))) (+ (log (- (log 1/2) (* 2 (log (/ -1 x))))) (* 2 (/ 1 (* (pow x 2) (- (log 1/2) (* 2 (log (/ -1 x))))))))) (* 2 (/ 1 (* (pow x 2) (pow (- (log 1/2) (* 2 (log (/ -1 x)))) 2)))))
342.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ 1 x))))
314.0ms
(- (+ (log (- (log 1/2) (* 2 (log (/ 1 x))))) (+ (* 2 (/ 1 (* (pow x 2) (- (log 1/2) (* 2 (log (/ 1 x))))))) (* 2 (/ 1 (* x (- (log 1/2) (* 2 (log (/ 1 x))))))))) (* 2 (/ 1 (* (pow x 2) (pow (- (log 1/2) (* 2 (log (/ 1 x)))) 2)))))
289.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ 1 x))) (* x y)))
285.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ -1 x))))

prune831.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes89.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.1s2431×body10240exit
872.0ms8333×body80valid
373.0ms112×body160valid
142.0ms134×body1280valid
127.0ms257×body640valid
65.0ms184×body320valid