Details

Time bar (total: 28.4s)

sample86.0ms

Algorithm
intervals
Results
34.0ms94×body1280valid
20.0ms90×body640valid
9.0ms243×body80valid
6.0ms40×body320valid
1.0ms16×body160valid

simplify10.8s

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.6b

localize8.0ms

Local error

Found 1 expressions with local error:

5.4b
(- (exp x) (exp (- x)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
29.0ms
(- (exp x) (exp (- x)))

series57.0ms

Counts
1 → 3
Calls
1 calls:
57.0ms
(- (exp x) (exp (- x)))

simplify7.3s

Counts
17 → 17

prune94.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1/60 (pow x 5)) (* 2 x))
0.0b
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.1b
(* 1/60 (pow x 5))
0.2b
(* 1/3 (pow x 3))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×associate-*r*
14×add-exp-log
11×add-cube-cbrt *-un-lft-identity add-log-exp
8×unpow-prod-down add-cbrt-cube
7×unswap-sqr
6×associate-*l* prod-exp
4×pow1 cube-prod sum-log sqr-pow
2×+-commutative pow-to-exp flip3-+ pow-exp *-commutative cbrt-unprod flip-+
1×cube-mult associate-+r+ unpow3
Counts
4 → 80
Calls
4 calls:
10.0ms
(+ (* 1/60 (pow x 5)) (* 2 x))
48.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
12.0ms
(* 1/60 (pow x 5))
23.0ms
(* 1/3 (pow x 3))

series418.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(+ (* 1/60 (pow x 5)) (* 2 x))
97.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
72.0ms
(* 1/60 (pow x 5))
54.0ms
(* 1/3 (pow x 3))

simplify961.0ms

Counts
92 → 92

prune296.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

5.4b
(- (exp x) (exp (* -1 x)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
18.0ms
(- (exp x) (exp (* -1 x)))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(- (exp x) (exp (* -1 x)))

simplify1.2s

Counts
17 → 17

prune61.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) -2)
0.0b
(pow (exp (* -1 x)) 3)
0.1b
(pow (exp x) 3)
5.3b
(- (pow (exp x) 3) (pow (exp (* -1 x)) 3))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
24×*-un-lft-identity
21×unpow-prod-down
18×cube-prod
16×difference-of-squares
14×add-cube-cbrt
11×pow-pow sqr-pow
9×pow-unpow
7×pow1 exp-prod add-log-exp
6×add-cbrt-cube
5×distribute-lft-out--
4×add-exp-log
3×pow-to-exp pow-exp
2×cube-mult unpow3 rem-cube-cbrt
1×difference-cubes cube-div exp-neg sub-neg flip3-- exp-to-pow mul-1-neg diff-log flip--
Counts
4 → 106
Calls
4 calls:
4.0ms
(pow (exp x) -2)
10.0ms
(pow (exp (* -1 x)) 3)
9.0ms
(pow (exp x) 3)
71.0ms
(- (pow (exp x) 3) (pow (exp (* -1 x)) 3))

series209.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(pow (exp x) -2)
32.0ms
(pow (exp (* -1 x)) 3)
32.0ms
(pow (exp x) 3)
117.0ms
(- (pow (exp x) 3) (pow (exp (* -1 x)) 3))

simplify937.0ms

Counts
118 → 118

prune384.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes23.0ms

Accuracy

46.7% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.7b

bsearch66.0ms

Steps
ItersRangePoint
8
0.00022617661863457038
0.061554017742428864
0.015531765948547958

simplify1.1s

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.7s3374×body1280valid
1.2s2472×body640valid
506.0ms8177×body80valid
237.0ms1203×body320valid
76.0ms667×body160valid