Details

Time bar (total: 53.6s)

sample91.0ms

Algorithm
intervals
Results
53.0ms76×body10240exit
18.0ms269×body80valid
4.0ms5×body1280valid
3.0ms9×body640valid
1.0ms6×body320valid
0.0ms2×body160valid

simplify20.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.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
22.0ms
(- (log (+ 1 (exp x))) (* x y))
4.0ms
(+ 1 (exp x))
4.0ms
(log (+ 1 (exp x)))

series160.0ms

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

simplify759.0ms

Counts
25 → 57
Calls
25 calls:
Slowest
114.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
101.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
84.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
82.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
67.0ms
(/ (+ 1 (exp x)) (exp (* x y)))

prune530.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize36.0ms

Local error

Found 4 expressions with local error:

5.9b
(- (* (exp x) (exp x)) (* 1 (exp x)))
0.5b
(log (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
0.4b
(/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
0.0b
(pow (exp x) 3)

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
159×*-un-lft-identity
80×times-frac
75×distribute-lft-out
46×log-prod
39×add-sqr-sqrt unpow-prod-down cube-prod add-cube-cbrt
10×cube-mult associate-/l*
9×add-exp-log sum-cubes
7×add-cbrt-cube
6×pow1 add-log-exp
4×associate-/r* pow-pow associate-/r/ insert-posit16
3×pow-unpow exp-prod flip3-+ flip-+
2×div-exp rem-log-exp div-inv associate-/l/
1×pow-to-exp cbrt-undiv log-div clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log unpow3 pow-exp log-pow flip-- rem-cube-cbrt sqr-pow
Counts
4 → 170
Calls
4 calls:
Slowest
120.0ms
(/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
70.0ms
(log (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
26.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
6.0ms
(pow (exp x) 3)

series336.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
148.0ms
(log (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
106.0ms
(/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
44.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
38.0ms
(pow (exp x) 3)

simplify22.7s

Counts
175 → 182
Calls
175 calls:
Slowest
601.0ms
(/ (sqrt (+ (pow 1 3) (pow (exp x) 3))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
443.0ms
(/ (* (* (+ (pow 1 3) (pow (exp x) 3)) (+ (pow 1 3) (pow (exp x) 3))) (+ (pow 1 3) (pow (exp x) 3))) (* (* (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
397.0ms
(log (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))))
366.0ms
(log (/ (* (cbrt (+ (pow 1 3) (pow (exp x) 3))) (cbrt (+ (pow 1 3) (pow (exp x) 3)))) (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))
330.0ms
(/ (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))

prune2.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
44×log-prod
36×*-un-lft-identity
24×times-frac
22×add-sqr-sqrt add-cube-cbrt
18×associate-+r+
12×distribute-lft-out
11×pow1
10×add-exp-log
8×log-pow
6×log-div add-log-exp
5×flip3-+ rem-log-exp flip-+
4×associate-+l+ add-cbrt-cube associate-/r/ insert-posit16
3×log-rec
2×div-exp associate-+l- div-inv
1×+-commutative rec-exp associate-+r- sum-log sub-neg flip3-- distribute-rgt-out-- diff-log 1-exp unsub-neg pow-flip flip-- inv-pow
Counts
4 → 108
Calls
4 calls:
Slowest
171.0ms
(+ (log (+ (exp (+ (+ x x) x)) 1)) (log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
104.0ms
(log (+ (exp (+ (+ x x) x)) 1))
33.0ms
(log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
18.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

series470.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
203.0ms
(+ (log (+ (exp (+ (+ x x) x)) 1)) (log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
161.0ms
(log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
71.0ms
(log (+ (exp (+ (+ x x) x)) 1))
34.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

simplify10.2s

Counts
78 → 120
Calls
78 calls:
Slowest
682.0ms
(* (+ (exp (+ (+ x x) x)) 1) (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
500.0ms
(log (/ 1 (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
434.0ms
(+ (log (/ 1 (- (+ (pow (exp x) 2) 1) (exp x)))) (log (+ (exp (* 3 x)) 1)))
379.0ms
(+ (log (/ 1 (- (+ (pow (exp x) 2) 1) (exp x)))) (log (+ (exp (* 3 x)) 1)))
336.0ms
(log (/ 1 (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))))

prune1.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize104.0ms

Local error

Found 4 expressions with local error:

5.9b
(log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
5.9b
(- (* (exp x) (exp x)) (* 1 (exp x)))
1.2b
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))
1.2b
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
32×log-prod
23×*-un-lft-identity
16×add-sqr-sqrt add-cube-cbrt
12×times-frac
11×add-exp-log
10×pow1
9×log-pow
8×sqrt-prod
6×rem-log-exp add-log-exp
5×log-div distribute-lft-out
4×add-cbrt-cube sqrt-div insert-posit16
3×flip3-+ flip-+
2×sqrt-pow1 pow1/2 div-exp associate-/r/
1×rec-exp sub-neg flip3-- distribute-rgt-out-- diff-log 1-exp log-rec div-inv pow-flip flip-- inv-pow
Counts
4 → 91
Calls
4 calls:
Slowest
113.0ms
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))
112.0ms
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))
47.0ms
(log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
32.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

series503.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
175.0ms
(log (/ 1 (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
154.0ms
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))
127.0ms
(log (sqrt (+ (exp (+ (+ x x) x)) 1)))
47.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

simplify6.2s

Counts
61 → 103
Calls
61 calls:
Slowest
478.0ms
(- (* 5/12 (pow x 4)) (+ x (pow x 2)))
444.0ms
(log (/ 1 (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
411.0ms
(log (/ 1 (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))))
308.0ms
(log (sqrt (+ (pow (exp (+ (+ x x) x)) 3) (pow 1 3))))
273.0ms
(log (sqrt (+ (pow (exp (+ (+ x x) x)) 3) (pow 1 3))))

prune1.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

regimes146.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample4.4s

Algorithm
intervals
Results
2.7s2438×body10240exit
1.1s8359×body80valid
185.0ms276×body640valid
116.0ms124×body1280valid
65.0ms186×body320valid
26.0ms125×body160valid