Details

Time bar (total: 17.1s)

sample110.0ms

Algorithm
intervals
Results
43.0ms61×body1280valid
21.0ms42×body640valid
20.0ms121×body80valid
8.0ms22×body320valid
2.0ms10×body160valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
73558
6524
5146
459
332
224
118
09

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.8b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
23×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-cbrt-cube add-exp-log distribute-lft-out
4×associate-/r* difference-of-squares
3×pow1 insert-posit16 associate-/l*
2×flip3-+ difference-of-sqr-1 associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- distribute-lft-out--
Counts
3 → 67
Calls
3 calls:
5.0ms
(+ 1 (exp (* -2 x)))
11.0ms
(/ 2 (+ 1 (exp (* -2 x))))
73.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series139.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(+ 1 (exp (* -2 x)))
43.0ms
(/ 2 (+ 1 (exp (* -2 x))))
80.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.0s

Counts
76 → 76
Iterations
IterNodes
done5001
21035
1297
0120

prune293.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow x 5) 2/15)
0.1b
(* x (* x x))
0.1b
(* (* x (* x x)) -1/3)
18.4b
(+ (* (* x (* x x)) -1/3) (* (pow x 5) 2/15))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
23×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
12×prod-exp
11×associate-*l*
10×cbrt-unprod
9×*-un-lft-identity pow-prod-down add-cube-cbrt
7×associate-*r*
6×add-log-exp
5×pow-prod-up
4×unpow-prod-down insert-posit16 unswap-sqr
3×*-commutative
2×sqr-pow
1×pow2 pow-to-exp +-commutative sum-log flip3-+ pow-plus cube-unmult pow-exp pow-sqr flip-+
Counts
4 → 85
Calls
4 calls:
8.0ms
(* (pow x 5) 2/15)
16.0ms
(* x (* x x))
63.0ms
(* (* x (* x x)) -1/3)
77.0ms
(+ (* (* x (* x x)) -1/3) (* (pow x 5) 2/15))

series399.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (pow x 5) 2/15)
45.0ms
(* x (* x x))
64.0ms
(* (* x (* x x)) -1/3)
212.0ms
(+ (* (* x (* x x)) -1/3) (* (pow x 5) 2/15))

simplify1.4s

Counts
97 → 97
Iterations
IterNodes
done5000
21897
1330
0127

prune373.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ 1 (exp (* -2 x))))
0.0b
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))
0.5b
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
2.7b
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
408×times-frac
312×*-un-lft-identity
248×add-sqr-sqrt
243×sqrt-prod
189×add-cube-cbrt
57×distribute-lft-out
30×associate-/l*
22×sqrt-div
20×associate-/r/
14×associate-/r* difference-of-squares
11×flip3-+ add-cbrt-cube add-exp-log flip-+
10×div-inv
7×difference-of-sqr-1
6×add-log-exp
5×pow1
4×cbrt-undiv div-exp insert-posit16
2×clear-num frac-2neg
1×rem-sqrt-square sub-neg sqrt-pow1 flip3-- pow1/2 diff-log flip-- distribute-lft-out-- associate-/l/
Counts
4 → 339
Calls
4 calls:
7.0ms
(sqrt (+ 1 (exp (* -2 x))))
46.0ms
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))
19.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
175.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)

series409.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(sqrt (+ 1 (exp (* -2 x))))
36.0ms
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))
98.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
102.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)

simplify2.4s

Counts
351 → 351
Iterations
IterNodes
done5001
23941
1866
0358

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x)))))
0.5b
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
0.5b
(cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))
2.7b
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))) 1)

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt
41×*-un-lft-identity
36×times-frac
24×sqrt-prod
23×add-cube-cbrt
14×sqrt-div
13×flip3-+ flip-+
9×pow1
8×frac-times cbrt-div add-cbrt-cube add-exp-log difference-of-squares
7×associate-/r* associate-*r*
6×distribute-lft-out add-log-exp
4×difference-of-sqr-1 associate-*l* associate-*l/ associate-*r/ insert-posit16
3×associate-/l*
2×pow3 associate-/r/ pow-prod-up unswap-sqr
1×cbrt-prod cbrt-undiv clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 pow1/3 diff-log div-exp pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod div-inv flip-- distribute-lft-out--
Counts
4 → 127
Calls
4 calls:
51.0ms
(* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x)))))
23.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
21.0ms
(cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))
115.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))) 1)

series233.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x)))))
61.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
36.0ms
(cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))
60.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (cbrt (* (+ 1 (exp (* -2 x))) (sqrt (+ 1 (exp (* -2 x))))))) 1)

simplify1.5s

Counts
139 → 139
Iterations
IterNodes
done5000
22410
1522
0237

prune727.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes270.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 30.9b

bsearch2.0ms

simplify10.0ms

Iterations
IterNodes
done42
142
029

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.0s1307×body640valid
967.0ms1707×body1280valid
403.0ms4052×body80valid
192.0ms617×body320valid
86.0ms317×body160valid