Details

Time bar (total: 16.9s)

sample125.0ms

Algorithm
intervals
Results
80.0ms259×body80valid
8.0ms5×body1280valid
6.0ms6×body640valid
1.0ms2×body320valid
1.0ms1×body160valid

simplify1.1s

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize39.0ms

Local error

Found 4 expressions with local error:

34.1b
(cos (- (* K (/ (+ m n) 2)) M))
0.0b
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)
0.0b
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
0.0b
(* K (/ (+ m n) 2))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
28×add-sqr-sqrt
21×add-cube-cbrt
16×associate-*r*
13×times-frac
12×prod-diff
11×exp-sum
9×add-cbrt-cube add-exp-log
7×add-log-exp
6×pow1
5×cos-sum exp-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*l* distribute-lft-out
2×sub-neg prod-exp cbrt-unprod unswap-sqr rem-exp-log
1×cos-diff cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*r/ *-commutative fma-udef div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 94
Calls
4 calls:
Slowest
35.0ms
(cos (- (* K (/ (+ m n) 2)) M))
23.0ms
(* K (/ (+ m n) 2))
11.0ms
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
0.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)

series509.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
193.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)
176.0ms
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
75.0ms
(* K (/ (+ m n) 2))
64.0ms
(cos (- (* K (/ (+ m n) 2)) M))

simplify646.0ms

Counts
123 → 106

prune1.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.4b

localize48.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)
0.0b
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
0.0b
(- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
18×prod-diff
17×add-cube-cbrt
11×exp-sum
8×add-log-exp
5×exp-prod
3×expm1-log1p-u pow1 add-cbrt-cube fma-neg add-exp-log insert-posit16 log1p-expm1-u
2×sub-neg diff-log fma-udef distribute-lft-out-- difference-of-squares rem-exp-log
1×flip3-- exp-diff flip-- associate--r+
Counts
3 → 70
Calls
3 calls:
Slowest
21.0ms
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
11.0ms
(- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l))
1.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)

series575.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
219.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)
186.0ms
(- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l))
169.0ms
(exp (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))

simplify937.0ms

Counts
101 → 79

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.4b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
18×prod-diff add-cube-cbrt
11×unpow-prod-up
5×pow-unpow add-log-exp
4×pow1 add-exp-log
3×expm1-log1p-u unpow-prod-down add-cbrt-cube fma-neg insert-posit16 log1p-expm1-u
2×sub-neg pow-exp fma-udef distribute-lft-out-- difference-of-squares
1×pow-to-exp e-exp-1 pow-pow flip3-- diff-log flip-- associate--r+ pow-sub sqr-pow
Counts
3 → 76
Calls
3 calls:
Slowest
5.0ms
(- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l))
4.0ms
(pow E (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))
0.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)

series508.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
181.0ms
(- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l))
167.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)
160.0ms
(pow E (- (fabs (- m n)) (fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) l)))

simplify528.0ms

Counts
113 → 85

prune1.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.4b

localize89.0ms

Local error

Found 4 expressions with local error:

34.1b
(cos (- (* K (/ (+ m n) 2)) M))
34.1b
(cos (- (* K (/ (+ m n) 2)) M))
34.1b
(cos (- (* K (/ (+ m n) 2)) M))
0.6b
(cbrt (* (* (cos (- (* K (/ (+ m n) 2)) M)) (cos (- (* K (/ (+ m n) 2)) M))) (cos (- (* K (/ (+ m n) 2)) M))))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
15×cos-sum
9×prod-diff
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cos-diff sub-neg
1×cbrt-prod cbrt-div pow1/3 pow3 associate-*l/ cos-mult rem-cbrt-cube
Counts
4 → 62
Calls
4 calls:
Slowest
72.0ms
(cbrt (* (* (cos (- (* K (/ (+ m n) 2)) M)) (cos (- (* K (/ (+ m n) 2)) M))) (cos (- (* K (/ (+ m n) 2)) M))))
49.0ms
(cos (- (* K (/ (+ m n) 2)) M))
47.0ms
(cos (- (* K (/ (+ m n) 2)) M))
31.0ms
(cos (- (* K (/ (+ m n) 2)) M))

series316.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
86.0ms
(cos (- (* K (/ (+ m n) 2)) M))
85.0ms
(cos (- (* K (/ (+ m n) 2)) M))
82.0ms
(cos (- (* K (/ (+ m n) 2)) M))
63.0ms
(cbrt (* (* (cos (- (* K (/ (+ m n) 2)) M)) (cos (- (* K (/ (+ m n) 2)) M))) (cos (- (* K (/ (+ m n) 2)) M))))

simplify625.0ms

Counts
92 → 74

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.4b

regimes538.0ms

Accuracy

0% (0.3b remaining)

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

bsearch2.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
2.4s8063×body80valid
512.0ms95×body320valid
242.0ms186×body640valid
170.0ms131×body1280valid
68.0ms61×body160valid
4.0ms2×body2560valid