Details

Time bar (total: 47.4s)

sample140.0ms

Algorithm
intervals
Results
67.0ms63×body10240exit
30.0ms270×body80valid
20.0ms9×body640valid
3.0ms8×body320valid
2.0ms1×body1280valid
0.0ms1×body160valid

simplify39.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize27.0ms

Local error

Found 3 expressions with local error:

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

rewrite54.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
36.0ms
(- (log (+ 1 (exp x))) (* x y))
9.0ms
(+ 1 (exp x))
8.0ms
(log (+ 1 (exp x)))

series173.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
82.0ms
(log (+ 1 (exp x)))
77.0ms
(- (log (+ 1 (exp x))) (* x y))
13.0ms
(+ 1 (exp x))

simplify697.0ms

Counts
25 → 57
Calls
25 calls:
Slowest
86.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
78.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
78.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
67.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
59.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))

prune512.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite93.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--
Counts
3 → 47
Calls
3 calls:
Slowest
36.0ms
(+ (* x (* x 1/2)) (+ x 2))
33.0ms
(log (+ (* x (* x 1/2)) (+ x 2)))
23.0ms
(- (log (+ (* x (* x 1/2)) (+ x 2))) (* x y))

series170.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
94.0ms
(- (log (+ (* x (* x 1/2)) (+ x 2))) (* x y))
45.0ms
(log (+ (* x (* x 1/2)) (+ x 2)))
30.0ms
(+ (* x (* x 1/2)) (+ x 2))

simplify3.7s

Counts
23 → 56
Calls
23 calls:
Slowest
424.0ms
(* (exp (* x (* x 1/2))) (exp (+ x 2)))
387.0ms
(log (+ (pow (* x (* x 1/2)) 3) (pow (+ x 2) 3)))
379.0ms
(log (+ (pow (* x (* x 1/2)) 3) (pow (+ x 2) 3)))
300.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ 1 x))))
285.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ 1 x))) (* x y)))

prune526.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

localize71.0ms

Local error

Found 4 expressions with local error:

10.6b
(posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))
4.9b
(log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2)))))
0.0b
(+ (* x (* x 1/2)) (+ x 2))
0.0b
(- (log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))) (* x y))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
6×add-sqr-sqrt log-prod *-un-lft-identity add-cube-cbrt
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16
3×sum-log associate--l+
1×+-commutative associate-+r+ sub-neg flip3-+ flip3-- diff-log rem-log-exp log-pow flip-+ remove-posit16 flip--
Counts
4 → 52
Calls
4 calls:
Slowest
26.0ms
(+ (* x (* x 1/2)) (+ x 2))
6.0ms
(- (log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))) (* x y))
2.0ms
(log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2)))))
0.0ms
(posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))

series183.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
75.0ms
(- (log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))) (* x y))
52.0ms
(log (posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2)))))
33.0ms
(+ (* x (* x 1/2)) (+ x 2))
23.0ms
(posit16->real (real->posit16 (+ (* x (* x 1/2)) (+ x 2))))

simplify2.7s

Counts
23 → 64
Calls
23 calls:
Slowest
465.0ms
(* (exp (* x (* x 1/2))) (exp (+ x 2)))
334.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ 1 x))) (* x y)))
293.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ 1 x))))
254.0ms
(- (+ (log 1/2) (+ (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 x)))) (* 2 (log (/ -1 x))))
235.0ms
(- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* 2 (log (/ -1 x))) (* x y)))

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

localize42.0ms

Local error

Found 4 expressions with local error:

14.6b
(/ (- (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.7b
(log (+ 1 (exp x)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
74×add-sqr-sqrt
48×*-un-lft-identity
39×times-frac
32×add-cube-cbrt difference-of-squares
25×sqr-pow
21×pow1
13×associate-/l*
12×log-prod unpow-prod-down cube-prod
10×add-exp-log
9×add-cbrt-cube log-pow
6×swap-sqr
4×distribute-rgt-in difference-cubes distribute-lft-in associate-*r* associate-*l* insert-posit16 distribute-lft-out-- add-log-exp
3×pow-unpow associate-/r* distribute-lft-out
2×log-div flip3-+ associate-/r/ flip-+ associate-/l/
1×pow2 cube-mult pow-to-exp cbrt-undiv clear-num pow-pow frac-2neg pow-plus flip3-- unpow3 div-sub div-exp rem-log-exp pow-prod-down pow-exp prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod div-inv flip-- rem-cube-cbrt unswap-sqr
Counts
4 → 154
Calls
4 calls:
Slowest
134.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)))))
26.0ms
(* (log (+ 1 (exp x))) (log (+ 1 (exp x))))
8.0ms
(log (+ 1 (exp x)))
2.0ms
(pow (log (+ 1 (exp x))) 3)

series467.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.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)))))
107.0ms
(pow (log (+ 1 (exp x))) 3)
75.0ms
(* (log (+ 1 (exp x))) (log (+ 1 (exp x))))
60.0ms
(log (+ 1 (exp x)))

simplify29.6s

Counts
167 → 166
Calls
167 calls:
Slowest
790.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))))))
692.0ms
(/ (+ (pow (log (+ 1 (exp x))) (/ 3 2)) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y))))) (cbrt (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))))))
519.0ms
(/ (pow (log (+ 1 (exp x))) 3) (+ (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y)))))
459.0ms
(+ (* (* (log (+ 1 (exp x))) (log (+ 1 (exp x)))) (* (log (+ 1 (exp x))) (log (+ 1 (exp x))))) (- (* (+ (* (* x y) (* x y)) (* (log (+ 1 (exp x))) (* x y))) (+ (* (* 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))))))
457.0ms
(+ (pow (log (+ 1 (exp x))) (/ 3 2)) (pow (* x y) (/ 3 2)))

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

regimes196.0ms

Accuracy

0% (0.3b remaining)

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

bsearch1.0ms

end0.0ms

sample4.3s

Algorithm
intervals
Results
2.7s2387×body10240exit
977.0ms8405×body80valid
147.0ms270×body640valid
122.0ms129×body1280valid
68.0ms181×body320valid
18.0ms83×body160valid