Details

Time bar (total: 1.2m)

sample335.0ms

Algorithm
intervals
Results
79.0ms61×body10240exit
67.0ms54×body1280valid
55.0ms304×body80valid
52.0ms19×body320valid
32.0ms39×body640valid
23.0ms13×body160valid

simplify339.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize49.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (+ (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
(* x (- -1 eps))

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
22×add-sqr-sqrt
16×add-log-exp
15×associate-*r*
10×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*l*
7×distribute-lft-out--
6×diff-log associate-*r/
4×distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip3-- frac-sub flip-+ insert-posit16 flip-- distribute-lft-out
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×difference-of-sqr--1 sum-log associate--r+ difference-of-squares
1×associate--l+ associate--r-
Counts
4 → 106
Calls
4 calls:
Slowest
171.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
22.0ms
(* x (+ eps -1))
17.0ms
(* x (+ eps -1))
14.0ms
(* x (- -1 eps))

series318.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
70.0ms
(* x (- -1 eps))
46.0ms
(* x (+ eps -1))
34.0ms
(* x (+ eps -1))

simplify17.2s

Counts
133 → 118
Calls
133 calls:
Slowest
835.0ms
(- (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
806.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))))
613.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))))
496.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)))))))
455.0ms
(log (- (+ (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.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 2/3 x)
0.1b
(* (* 2/3 x) x)
0.0b
(* x (- (* (* 2/3 x) x) x))
0.0b
(- (* (* 2/3 x) x) x)

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
11×*-un-lft-identity
10×associate-*r*
9×add-cube-cbrt
7×associate-*l*
6×add-log-exp
5×pow-prod-down prod-exp cbrt-unprod
4×insert-posit16
3×sub-neg *-commutative
2×distribute-rgt-in distribute-lft-in flip3-- distribute-rgt-out-- associate-*r/ flip-- unswap-sqr
1×diff-log
Counts
4 → 78
Calls
4 calls:
Slowest
89.0ms
(* x (- (* (* 2/3 x) x) x))
23.0ms
(* (* 2/3 x) x)
16.0ms
(- (* (* 2/3 x) x) x)
5.0ms
(* 2/3 x)

series269.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(* x (- (* (* 2/3 x) x) x))
91.0ms
(- (* (* 2/3 x) x) x)
48.0ms
(* (* 2/3 x) x)
28.0ms
(* 2/3 x)

simplify8.3s

Counts
95 → 90
Calls
95 calls:
Slowest
734.0ms
(* (* (* x x) x) (* (* (- (* (* 2/3 x) x) x) (- (* (* 2/3 x) x) x)) (- (* (* 2/3 x) x) x)))
637.0ms
(* (* (* (* 2/3 x) (* 2/3 x)) (* 2/3 x)) (* (* x x) x))
515.0ms
(- (* (* (* 2/3 x) x) (* (* 2/3 x) x)) (* x x))
506.0ms
(* (* (* x (- (* (* 2/3 x) x) x)) (* x (- (* (* 2/3 x) x) x))) (* x (- (* (* 2/3 x) x) x)))
502.0ms
(* x (- (pow (* (* 2/3 x) x) 3) (pow x 3)))

prune813.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (/ (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
(* x (- -1 eps))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
21×*-un-lft-identity
15×associate-*r*
10×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*l* add-log-exp
6×associate-*r/
4×distribute-rgt-in sub-neg distribute-lft-in insert-posit16 distribute-lft-out--
3×flip3-- diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr
2×difference-of-sqr--1 flip3-+ frac-sub flip-+ distribute-lft-out associate--r+
1×times-frac associate--r-
Counts
4 → 100
Calls
4 calls:
Slowest
93.0ms
(- (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
27.0ms
(* x (+ eps -1))
14.0ms
(* x (- -1 eps))
14.0ms
(* x (+ eps -1))

series237.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
104.0ms
(- (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
51.0ms
(* x (- -1 eps))
50.0ms
(* x (+ eps -1))
33.0ms
(* x (+ eps -1))

simplify14.2s

Counts
126 → 112
Calls
126 calls:
Slowest
865.0ms
(* (* (* x x) x) (* (* (- -1 eps) (- -1 eps)) (- -1 eps)))
780.0ms
(* (* (- (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (- (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))) (- (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))
521.0ms
(+ (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (+ (* (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (* (/ (exp (* x (+ eps -1))) eps) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))))
510.0ms
(- (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
505.0ms
(- (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

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

series250.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
104.0ms
(- (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (- -1 eps))) eps))
51.0ms
(* x (+ eps -1))
49.0ms
(* x (- -1 eps))
46.0ms
(* x (+ eps -1))

simplify12.4s

Counts
128 → 113
Calls
128 calls:
Slowest
547.0ms
(* (* (* x x) x) (* (* (- -1 eps) (- -1 eps)) (- -1 eps)))
461.0ms
(* (* (* x (- -1 eps)) (* x (- -1 eps))) (* x (- -1 eps)))
377.0ms
(- (+ (* 2 x) (pow x 3)) (* 2 (pow x 2)))
356.0ms
(- (/ (exp (* x (- -1 eps))) eps))
328.0ms
(- (* (exp (* x (+ eps -1))) eps) (* eps (exp (* x (- -1 eps)))))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

regimes56.0ms

Accuracy

0% (0.4b remaining)

Error of 0.8b against oracle of 0.4b and baseline of 0.8b

bsearch4.0ms

end0.0ms

sample12.0s

Algorithm
intervals
Results
3.9s1995×body10240exit
3.1s1775×body1280valid
2.6s10060×body80valid
1.5s1296×body640valid
469.0ms621×body320valid
116.0ms309×body160valid