Details

Time bar (total: 15.0s)

sample42.0ms

Algorithm
intervals
Results
23.0ms260×body80valid
1.0ms2×body1280valid
1.0ms3×body320valid
1.0ms3×body160valid
0.0ms1×body640valid

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 4 (62.0ms)

IterNodesCost
02129
15029
29229
319529
442828
5122828
6459228
done500028

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.2b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ m n) 2.0) M)
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
0.0b
(- (/ (* K (+ m n)) 2.0) M)
34.5b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
12×*-un-lft-identity
8×add-log-exp
6×add-cube-cbrt unpow-prod-down
5×pow1 add-exp-log difference-of-squares
4×add-cbrt-cube
3×sub-neg pow-unpow distribute-lft-out--
2×cos-sum flip3-- times-frac diff-log flip--
1×cos-diff pow-to-exp pow-pow pow-exp sqr-pow
Counts
4 → 59
Calls
4 calls:
32.0ms
(- (/ (+ m n) 2.0) M)
35.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
10.0ms
(- (/ (* K (+ m n)) 2.0) M)
16.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series409.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- (/ (+ m n) 2.0) M)
266.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
60.0ms
(- (/ (* K (+ m n)) 2.0) M)
55.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify883.0ms

Counts
71 → 71
Iterations

Useful iterations: 3 (241.0ms)

IterNodesCost
01471022
1319969
2691904
31794893
done5000893

prune313.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.8b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite703.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-sqr-sqrt
15×add-log-exp
8×distribute-lft-out--
7×diff-log
6×unpow-prod-down
5×add-cube-cbrt difference-of-squares
4×pow1 add-exp-log
3×sub-neg pow-unpow add-cbrt-cube
2×flip3-- distribute-rgt-neg-in times-frac neg-log flip-- associate--r+
1×associate--l- neg-sub0 pow-to-exp pow-pow pow-exp associate--r- sqr-pow
Counts
3 → 59
Calls
3 calls:
30.0ms
(- (/ (+ m n) 2.0) M)
631.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
40.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series497.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(- (/ (+ m n) 2.0) M)
192.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
272.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify1.0s

Counts
68 → 68
Iterations

Useful iterations: 3 (295.0ms)

IterNodesCost
01431158
13331091
27981024
323301001
done50001001

prune230.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.8b

localize27.0ms

Local error

Found 4 expressions with local error:

13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
43.8b
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 52
Calls
4 calls:
8.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
10.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
30.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

series781.0ms

Counts
4 → 12
Calls
4 calls:
244.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
238.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
243.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
56.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

simplify1.9s

Counts
64 → 64
Iterations

Useful iterations: 4 (1.1s)

IterNodesCost
0971446
12131414
24921086
313611020
44960978
done5000978

prune357.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

localize37.0ms

Local error

Found 4 expressions with local error:

13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
13.1b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
44.8b
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 52
Calls
4 calls:
10.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
8.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
294.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

series790.0ms

Counts
4 → 12
Calls
4 calls:
248.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
239.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
246.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
56.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

simplify2.0s

Counts
64 → 64
Iterations

Useful iterations: 4 (1.1s)

IterNodesCost
01001686
12211654
25111438
313961396
449801354
done50001354

prune399.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes174.0ms

Accuracy

0% (0.2b remaining)

Error of 1.3b against oracle of 1.1b and baseline of 1.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01720
12118
done2118

end0.0ms

sample1.1s

Algorithm
intervals
Results
635.0ms8115×body80valid
54.0ms112×body1280valid
51.0ms143×body640valid
28.0ms105×body320valid
11.0ms68×body160valid
2.0ms3×body2560valid