Details

Time bar (total: 19.9s)

sample45.0ms

Algorithm
intervals
Results
15.0ms74×body1280valid
6.0ms38×body640valid
5.0ms179×body80valid
3.0ms29×body320valid
1.0ms17×body160valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5002
73255
6440
5113
449
326
218
111
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* a x))
4.0b
(- (exp (* a x)) 1.0)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
1×exp-prod sub-neg flip3-- exp-to-pow diff-log flip-- distribute-lft-out-- difference-of-squares rem-exp-log
Counts
2 → 24
Calls
2 calls:
3.0ms
(exp (* a x))
10.0ms
(- (exp (* a x)) 1.0)

series61.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(exp (* a x))
47.0ms
(- (exp (* a x)) 1.0)

simplify1.4s

Counts
30 → 30
Iterations
IterNodes
done5000
32000
2389
1116
053

prune175.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/6 a)
1.1b
(* (* 1/6 a) (* (* x a) (* x a)))
1.7b
(* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a))
12.5b
(+ (* (* (* x a) (* x a)) 1/2) (* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a)))

rewrite580.0ms

Algorithm
rewrite-expression-head
Rules
49×pow1 add-cbrt-cube add-exp-log
33×pow-prod-down prod-exp cbrt-unprod
12×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×associate-*r* associate-*l*
6×add-log-exp
3×*-commutative
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+ unswap-sqr
1×+-commutative sum-log
Counts
4 → 93
Calls
4 calls:
6.0ms
(* 1/6 a)
104.0ms
(* (* 1/6 a) (* (* x a) (* x a)))
382.0ms
(* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a))
84.0ms
(+ (* (* (* x a) (* x a)) 1/2) (* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a)))

series405.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* 1/6 a)
81.0ms
(* (* 1/6 a) (* (* x a) (* x a)))
124.0ms
(* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a))
169.0ms
(+ (* (* (* x a) (* x a)) 1/2) (* x (+ (* (* 1/6 a) (* (* x a) (* x a))) a)))

simplify2.3s

Counts
105 → 105
Iterations
IterNodes
done5000
23138
1502
0152

prune414.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/6 a)
1.1b
(* (* 1/6 a) (* (* x a) (* x a)))
2.9b
(* x (* (* 1/6 a) (* (* x a) (* x a))))
12.5b
(+ (* (* (* x a) (* x a)) 1/2) (+ (* x (* (* 1/6 a) (* (* x a) (* x a)))) (* x a)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
100×pow1 add-cbrt-cube add-exp-log
74×pow-prod-down prod-exp cbrt-unprod
9×add-sqr-sqrt add-log-exp
7×*-un-lft-identity associate-*l* add-cube-cbrt
5×associate-*r*
3×sum-log *-commutative
1×+-commutative associate-+r+ flip3-+ flip-+ unswap-sqr
Counts
4 → 116
Calls
4 calls:
5.0ms
(* 1/6 a)
66.0ms
(* (* 1/6 a) (* (* x a) (* x a)))
231.0ms
(* x (* (* 1/6 a) (* (* x a) (* x a))))
739.0ms
(+ (* (* (* x a) (* x a)) 1/2) (+ (* x (* (* 1/6 a) (* (* x a) (* x a)))) (* x a)))

series339.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* 1/6 a)
69.0ms
(* (* 1/6 a) (* (* x a) (* x a)))
99.0ms
(* x (* (* 1/6 a) (* (* x a) (* x a))))
142.0ms
(+ (* (* (* x a) (* x a)) 1/2) (+ (* x (* (* 1/6 a) (* (* x a) (* x a)))) (* x a)))

simplify2.8s

Counts
128 → 128
Iterations
IterNodes
done5002
23438
1542
0160

prune438.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* x a))
4.0b
(- (exp (* x a)) 1.0)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
1×exp-prod sub-neg flip3-- exp-to-pow diff-log flip-- distribute-lft-out-- difference-of-squares rem-exp-log
Counts
2 → 24
Calls
2 calls:
3.0ms
(exp (* x a))
15.0ms
(- (exp (* x a)) 1.0)

series56.0ms

Counts
2 → 6
Calls
2 calls:
13.0ms
(exp (* x a))
42.0ms
(- (exp (* x a)) 1.0)

simplify2.0s

Counts
30 → 30
Iterations
IterNodes
done5000
32219
2426
1121
056

prune119.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes170.0ms

Accuracy

34.6% (13.8b remaining)

Error of 13.8b against oracle of 0.1b and baseline of 21.1b

bsearch365.0ms

Steps
ItersRangePoint
10
8.794406789868183e+101
3.1068034585604e+112
5.1422287804261643e+104
8
-5.048452062299839e-81
-1.7935007776753498e-85
-4.926528827195549e-81
6
-7.034794544076098e-65
-6.211282037120254e-66
-1.3705872472640043e-65
7
-1.6830083676177457e+18
-2.342337183003078e+16
-1.6552683613750236e+18
10
-1.2302458013603981e+72
-7.398073498271572e+53
-3.362393975033818e+63
7
-8.945895949165957e+98
-1.0929183133375652e+97
-2.2209686932120436e+98

simplify2.3s

Iterations
IterNodes
done5000
174100
161668
151156
14644
13494
12342
11279
10214
9173
8141
7110
688
570
458
352
246
143
033

end0.0ms

sample1.9s

Algorithm
intervals
Results
867.0ms2706×body1280valid
321.0ms1357×body640valid
236.0ms5424×body80valid
160.0ms758×body320valid
31.0ms391×body160valid