Details

Time bar (total: 1.3m)

sample109.0ms

Algorithm
intervals
Results
74.0ms257×body80valid
6.0ms5×body640valid
5.0ms6×body320valid
2.0ms1×body1280valid

simplify333.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
333.0ms
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
26×*-un-lft-identity flip3-- flip--
16×frac-add
13×pow1
12×frac-times
10×associate-*l* add-cube-cbrt
9×associate-*r* add-log-exp
8×add-cbrt-cube swap-sqr associate-*l/ add-exp-log difference-of-squares
6×sub-neg associate-*r/ distribute-lft-out--
4×distribute-rgt-in associate-+l+ distribute-lft-in times-frac insert-posit16
2×cos-sum associate-+r+ sum-log flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
1×pow2 cos-diff +-commutative associate-+r- pow-plus diff-log pow-sqr pow-prod-up distribute-lft-out
Counts
4 → 118
Calls
4 calls:
Slowest
209.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
98.0ms
(+ (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- l (fabs (- m n))))
36.0ms
(cos (- (/ (* (+ m n) K) 2) M))
26.0ms
(* (+ m n) K)

series899.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
654.0ms
(+ (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- l (fabs (- m n))))
110.0ms
(cos (- (/ (* (+ m n) K) 2) M))
109.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
26.0ms
(* (+ m n) K)

simplify23.8s

Counts
119 → 130
Calls
119 calls:
Slowest
869.0ms
(+ (* (* (- (* (/ (+ m n) 2) (/ (+ m n) 2)) (* M M)) (- (pow (/ (+ m n) 2) 3) (pow M 3))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (/ (+ m n) 2) M) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M)))) (- (pow l 3) (pow (fabs (- m n)) 3))))
854.0ms
(+ (* (* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (* (/ (+ m n) 2) (/ (+ m n) 2)) (* M M))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (/ (+ m n) 2) M)) (- (pow l 3) (pow (fabs (- m n)) 3))))
745.0ms
(+ (* (* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (pow (/ (+ m n) 2) 3) (pow M 3))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M)))) (- (pow l 3) (pow (fabs (- m n)) 3))))
627.0ms
(* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M)))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n))))))
614.0ms
(* (* (* (+ m n) (+ m n)) (+ m n)) (* (* K K) K))

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.6b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite324.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
26×flip3-- flip--
20×*-un-lft-identity
16×frac-add
12×frac-times
9×pow1
8×swap-sqr difference-of-squares
7×add-log-exp
6×associate-*r* associate-*l* associate-*l/ associate-*r/ add-cube-cbrt distribute-lft-out--
5×sub-neg
4×distribute-rgt-in associate-+l+ distribute-lft-in times-frac add-cbrt-cube add-exp-log
2×associate-+r+ sum-log insert-posit16
1×pow2 +-commutative associate-+r- flip3-+ pow-plus diff-log pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ unswap-sqr
Counts
2 → 85
Calls
2 calls:
Slowest
220.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
103.0ms
(+ (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- l (fabs (- m n))))

series342.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
232.0ms
(+ (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- l (fabs (- m n))))
110.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))

simplify22.6s

Counts
99 → 91
Calls
99 calls:
Slowest
920.0ms
(+ (* (* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (* (/ (+ m n) 2) (/ (+ m n) 2)) (* M M))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (/ (+ m n) 2) M)) (- (pow l 3) (pow (fabs (- m n)) 3))))
832.0ms
(+ (* (* (- (* (/ (+ m n) 2) (/ (+ m n) 2)) (* M M)) (- (pow (/ (+ m n) 2) 3) (pow M 3))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (/ (+ m n) 2) M) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M)))) (- (pow l 3) (pow (fabs (- m n)) 3))))
731.0ms
(+ (* (* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (pow (/ (+ m n) 2) 3) (pow M 3))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M)))) (- (pow l 3) (pow (fabs (- m n)) 3))))
667.0ms
(+ (* (* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (* (/ (+ m n) 2) (/ (+ m n) 2)) (* M M))) (+ l (fabs (- m n)))) (* (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (+ (/ (+ m n) 2) M)) (- (* l l) (* (fabs (- m n)) (fabs (- m n))))))
666.0ms
(+ (* (* (- (/ (+ m n) 2) M) (- (pow (/ (+ m n) 2) 3) (pow M 3))) (+ (* l l) (+ (* (fabs (- m n)) (fabs (- m n))) (* l (fabs (- m n)))))) (* (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))) (- (pow l 3) (pow (fabs (- m n)) 3))))

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.6b

localize93.0ms

Local error

Found 4 expressions with local error:

31.3b
(cos (- (/ (* (+ m n) K) 2) M))
0.6b
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))
0.1b
(exp (cos (- (/ (* (+ m n) K) 2) M)))
0.0b
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
25×*-un-lft-identity
12×pow1
11×add-cube-cbrt
8×swap-sqr difference-of-squares
6×cos-sum exp-prod flip3-- add-cbrt-cube associate-*r* associate-*l* add-exp-log flip-- distribute-lft-out--
5×sub-neg add-log-exp
4×frac-times log-prod times-frac exp-diff log-pow insert-posit16
3×cos-diff
2×distribute-rgt-in log-div distribute-lft-in exp-sum associate-*l/ associate-*r/
1×pow2 pow-plus rem-log-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 94
Calls
4 calls:
Slowest
178.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
64.0ms
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))
48.0ms
(cos (- (/ (* (+ m n) K) 2) M))
24.0ms
(exp (cos (- (/ (* (+ m n) K) 2) M)))

series423.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
156.0ms
(exp (cos (- (/ (* (+ m n) K) 2) M)))
97.0ms
(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
92.0ms
(cos (- (/ (* (+ m n) K) 2) M))
78.0ms
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))

simplify9.6s

Counts
84 → 106
Calls
84 calls:
Slowest
493.0ms
(* (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)))
427.0ms
(* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (pow (/ (+ m n) 2) 3) (pow M 3)))
400.0ms
(* (* (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- (/ (+ m n) 2) M)) (* (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M)) (- (/ (+ m n) 2) M)))
390.0ms
(* (+ (/ (+ m n) 2) M) (+ (* (/ (+ m n) 2) (/ (+ m n) 2)) (+ (* M M) (* (/ (+ m n) 2) M))))
376.0ms
(* (- (pow (/ (+ m n) 2) 3) (pow M 3)) (- (/ (+ m n) 2) M))

prune2.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.6b

localize80.0ms

Local error

Found 4 expressions with local error:

31.3b
(cos (- (/ (* (+ m n) K) 2) M))
31.3b
(cos (- (/ (* (+ m n) K) 2) M))
31.3b
(cos (- (/ (* (+ m n) K) 2) M))
0.6b
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
8×cos-sum
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1
4×cos-diff log-prod sub-neg add-cbrt-cube add-exp-log log-pow insert-posit16 add-log-exp
3×exp-prod
2×log-div exp-diff
1×rem-log-exp exp-sum
Counts
4 → 52
Calls
4 calls:
Slowest
36.0ms
(cos (- (/ (* (+ m n) K) 2) M))
34.0ms
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))
34.0ms
(cos (- (/ (* (+ m n) K) 2) M))
33.0ms
(cos (- (/ (* (+ m n) K) 2) M))

series438.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
115.0ms
(cos (- (/ (* (+ m n) K) 2) M))
111.0ms
(cos (- (/ (* (+ m n) K) 2) M))
108.0ms
(log (exp (cos (- (/ (* (+ m n) K) 2) M))))
105.0ms
(cos (- (/ (* (+ m n) K) 2) M))

simplify3.0s

Counts
31 → 64
Calls
31 calls:
Slowest
239.0ms
(log (exp (* (cos (/ (* (+ m n) K) 2)) (cos (- M)))))
230.0ms
(log (exp (* (cos (/ (* (+ m n) K) 2)) (cos (- M)))))
223.0ms
(log (exp (* (cos (/ (* (+ m n) K) 2)) (cos M))))
173.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))
165.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))

prune1.7s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 1.6b

regimes777.0ms

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.2s8103×body80valid
636.0ms108×body1280valid
266.0ms155×body640valid
92.0ms109×body320valid
63.0ms49×body160valid
8.0ms4×body2560valid