Details

Time bar (total: 45.2s)

sample276.0ms

Algorithm
intervals
Results
83.0ms53×body10240exit
77.0ms318×body80valid
57.0ms60×body1280valid
27.0ms42×body640valid
6.0ms18×body320valid
3.0ms10×body160valid

simplify300.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
300.0ms
(/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2)

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize63.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
0.0b
(* x (+ eps -1))
0.0b
(* x (+ eps -1))
0.0b
(/ (exp (* x (+ eps -1))) eps)

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
26×add-sqr-sqrt
18×add-cube-cbrt
16×add-log-exp
15×times-frac
10×add-cbrt-cube associate-*r*
9×add-exp-log
8×pow1 exp-sum
6×distribute-rgt-in distribute-lft-in diff-log associate-*l* distribute-lft-out--
5×associate-/l*
4×flip3-+ associate-*r/ frac-sub flip-+ insert-posit16 distribute-lft-out
3×associate-/r* flip3-- flip--
2×difference-of-sqr--1 sum-log sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
1×cbrt-undiv clear-num frac-2neg div-exp associate--l+ div-inv associate--r- difference-of-squares
Counts
4 → 115
Calls
4 calls:
Slowest
126.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
15.0ms
(* x (+ eps -1))
14.0ms
(* x (+ eps -1))
9.0ms
(/ (exp (* x (+ eps -1))) eps)

series271.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
52.0ms
(* x (+ eps -1))
39.0ms
(* x (+ eps -1))
39.0ms
(/ (exp (* x (+ eps -1))) eps)

simplify15.2s

Counts
104 → 127
Calls
104 calls:
Slowest
811.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
684.0ms
(- (* (- (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (- (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
510.0ms
(/ (* (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (exp (* x (+ eps -1)))) (* (* eps eps) eps))
481.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))))))
432.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

6.4b
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
0.1b
(* (* x (* x x)) -2/3)
0.1b
(* x (* x x))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-sqr-sqrt
5×*-un-lft-identity pow-prod-up add-cube-cbrt
4×associate-*r* associate-*l*
3×diff-log insert-posit16
2×sub-neg associate--l+ *-commutative
1×associate--l- pow2 pow-plus flip3-- cube-unmult pow-sqr flip-- unswap-sqr
Counts
3 → 64
Calls
3 calls:
Slowest
76.0ms
(* (* x (* x x)) -2/3)
62.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
26.0ms
(* x (* x x))

series156.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
59.0ms
(* x (* x x))
55.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
42.0ms
(* (* x (* x x)) -2/3)

simplify3.7s

Counts
36 → 73
Calls
36 calls:
Slowest
466.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* x (* x x)) -2/3)))
447.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
436.0ms
(* (* (* (* x (* x x)) (* x (* x x))) (* x (* x x))) (* (* -2/3 -2/3) -2/3))
405.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
285.0ms
(* (* (* (* x x) x) (* (* (* x x) x) (* (* x x) x))) (* (* -2/3 -2/3) -2/3))

prune647.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

6.4b
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
0.1b
(* (* (* x x) x) -2/3)
0.1b
(* (* x x) x)

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-sqr-sqrt pow-plus associate-*r* pow-prod-up
5×*-un-lft-identity add-cube-cbrt
3×diff-log insert-posit16
2×pow2 sub-neg associate-*l* associate--l+ pow-sqr *-commutative
1×associate--l- flip3-- pow3 flip-- unswap-sqr
Counts
3 → 68
Calls
3 calls:
Slowest
62.0ms
(* (* (* x x) x) -2/3)
32.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
14.0ms
(* (* x x) x)

series145.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
55.0ms
(* (* (* x x) x) -2/3)
49.0ms
(* (* x x) x)
41.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))

simplify3.5s

Counts
37 → 77
Calls
37 calls:
Slowest
646.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* (* x x) x) -2/3)))
459.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))
405.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))
240.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))
230.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))

prune607.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

23.7b
(posit16->real (real->posit16 (* (* x (* x x)) -2/3)))
6.4b
(- (- 2 (* x x)) (posit16->real (real->posit16 (* (* x (* x x)) -2/3))))
0.1b
(* (* x (* x x)) -2/3)
0.1b
(* x (* x x))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
18×add-cbrt-cube add-exp-log
9×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod add-log-exp
8×*-un-lft-identity
6×add-cube-cbrt
5×pow-prod-up
4×associate-*r* associate-*l* insert-posit16
3×diff-log
2×sub-neg associate--l+ *-commutative
1×associate--l- pow2 pow-plus flip3-- cube-unmult pow-sqr remove-posit16 flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 75
Calls
4 calls:
Slowest
76.0ms
(* (* x (* x x)) -2/3)
36.0ms
(- (- 2 (* x x)) (posit16->real (real->posit16 (* (* x (* x x)) -2/3))))
27.0ms
(* x (* x x))
1.0ms
(posit16->real (real->posit16 (* (* x (* x x)) -2/3)))

series217.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
63.0ms
(- (- 2 (* x x)) (posit16->real (real->posit16 (* (* x (* x x)) -2/3))))
53.0ms
(* (* x (* x x)) -2/3)
53.0ms
(posit16->real (real->posit16 (* (* x (* x x)) -2/3)))
48.0ms
(* x (* x x))

simplify4.3s

Counts
43 → 87
Calls
43 calls:
Slowest
486.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
449.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (posit16->real (real->posit16 (* (* x (* x x)) -2/3)))))
435.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
406.0ms
(* (* (* (* x (* x x)) (* x (* x x))) (* x (* x x))) (* (* -2/3 -2/3) -2/3))
273.0ms
(* (* (* (* x x) x) (* (* (* x x) x) (* (* x x) x))) (* (* -2/3 -2/3) -2/3))

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

regimes89.0ms

Accuracy

96.7% (0.5b remaining)

Error of 1.0b against oracle of 0.5b and baseline of 16.8b

bsearch313.0ms

end0.0ms

sample11.6s

Algorithm
intervals
Results
3.5s1828×body10240exit
3.1s10004×body80valid
2.7s1670×body1280valid
1.3s1286×body640valid
441.0ms605×body320valid
126.0ms344×body160valid