Details

Time bar (total: 33.4s)

sample62.0ms

Algorithm
intervals
Results
30.0ms259×body80valid
2.0ms3×body1280valid
2.0ms4×body640valid
1.0ms3×body320valid
1.0ms3×body160valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5001
53032
4640
3210
293
150
021

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ K 2.0) (+ m n))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
0.0b
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
34.7b
(cos (- (* (/ K 2.0) (+ m n)) M))

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
24×*-un-lft-identity
15×add-cube-cbrt
13×associate-*l*
11×times-frac
10×add-exp-log add-log-exp
9×add-cbrt-cube
7×pow1
6×exp-prod unpow-prod-down
4×cos-sum associate-*r* exp-sum associate--l+ distribute-lft-out--
3×pow-unpow sub-neg diff-log difference-of-squares rem-exp-log
2×distribute-rgt-in frac-times distribute-lft-in flip3-+ prod-exp associate-*r/ cbrt-unprod flip-+ unswap-sqr
1×cos-diff pow-to-exp cbrt-undiv pow-pow exp-diff div-exp pow-prod-down associate-*l/ pow-exp *-commutative div-inv distribute-lft-out sqr-pow
Counts
4 → 92
Calls
4 calls:
39.0ms
(* (/ K 2.0) (+ m n))
46.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
3.3s
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
45.0ms
(cos (- (* (/ K 2.0) (+ m n)) M))

series732.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (/ K 2.0) (+ m n))
388.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
202.0ms
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
94.0ms
(cos (- (* (/ K 2.0) (+ m n)) M))

simplify1.9s

Counts
104 → 104
Iterations
IterNodes
done5002
22967
1685
0246

prune993.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
0.0b
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
0.0b
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))

rewrite5.0s

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
17×add-log-exp
8×distribute-lft-out--
7×unpow-prod-down diff-log add-cube-cbrt difference-of-squares
6×exp-prod
5×pow1 sub-neg add-exp-log
4×add-cbrt-cube exp-sum associate--l+
3×pow-unpow rem-exp-log
2×flip3-- flip-- sqr-pow
1×associate--l- pow-to-exp pow-pow times-frac exp-diff pow-exp
Counts
4 → 76
Calls
4 calls:
1.6s
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
159.0ms
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
56.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
3.2s
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))

series1.0s

Counts
4 → 12
Calls
4 calls:
269.0ms
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
193.0ms
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
388.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
174.0ms
(exp (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))

simplify1.5s

Counts
88 → 88
Iterations
IterNodes
done5000
21175
1429
0170

prune739.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
0.0b
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
0.0b
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
11×add-log-exp
10×unpow-prod-down
9×pow-unpow
8×add-cube-cbrt distribute-lft-out--
7×difference-of-squares
6×pow1 add-exp-log
5×sub-neg
4×unpow-prod-up add-cbrt-cube diff-log associate--l+
3×pow-exp sqr-pow
2×pow-to-exp pow-pow flip3-- flip--
1×associate--l- e-exp-1 times-frac pow-sub
Counts
4 → 81
Calls
4 calls:
1.6s
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
172.0ms
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
979.0ms
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
69.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series1.1s

Counts
4 → 12
Calls
4 calls:
303.0ms
(- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l)
193.0ms
(- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0))
220.0ms
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
423.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5002
21636
1505
0187

prune820.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.3b

localize93.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×*-un-lft-identity
21×unpow-prod-down
15×pow-unpow
12×add-cube-cbrt
8×pow1 add-exp-log
7×difference-of-squares
6×distribute-lft-out--
5×pow-exp
4×pow-to-exp unpow-prod-up pow-pow add-cbrt-cube add-log-exp sqr-pow
3×times-frac
2×sub-neg associate--l+
1×e-exp-1 pow-sub
Counts
4 → 86
Calls
4 calls:
1.1s
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
49.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
67.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
77.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series1.3s

Counts
4 → 12
Calls
4 calls:
207.0ms
(pow E (- (- (fabs (- m n)) (pow (- (/ (+ m n) 2.0) M) 2.0)) l))
380.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
381.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
367.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify1.8s

Counts
98 → 98
Iterations
IterNodes
done5001
21211
1386
0140

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.3b

regimes638.0ms

Accuracy

0% (0.3b remaining)

Error of 1.4b against oracle of 1.2b and baseline of 1.4b

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done32
232
130
023

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.1s8076×body80valid
103.0ms118×body1280valid
90.0ms141×body640valid
87.0ms112×body320valid
19.0ms62×body160valid
3.0ms2×body2560valid