Details

Time bar (total: 1.4m)

sample100.0ms

Algorithm
intervals
Results
64.0ms259×body80valid
6.0ms5×body1280valid
5.0ms6×body640valid
2.0ms2×body320valid
0.0ms1×body160valid

simplify343.0ms

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

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
18×add-sqr-sqrt
15×add-log-exp
9×add-cube-cbrt
8×exp-prod
7×pow1 add-exp-log distribute-lft-out--
6×unpow-prod-down add-cbrt-cube diff-log
5×rem-exp-log
4×associate-*r* insert-posit16
3×pow-unpow associate-*l* exp-sum difference-of-squares
2×cos-sum sub-neg distribute-rgt-neg-in neg-log associate-*r/
1×distribute-rgt-in cos-diff pow-to-exp pow-pow distribute-lft-in flip3-+ times-frac exp-diff pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out unpow2 associate--r- unswap-sqr sqr-pow
Counts
4 → 82
Calls
4 calls:
Slowest
1.5s
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
49.0ms
(cos (- (/ (* K (+ m n)) 2) M))
46.0ms
(pow (- (/ (+ m n) 2) M) 2)
19.0ms
(* K (+ m n))

series382.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
103.0ms
(pow (- (/ (+ m n) 2) M) 2)
89.0ms
(cos (- (/ (* K (+ m n)) 2) M))
50.0ms
(* K (+ m n))

simplify14.2s

Counts
104 → 94
Calls
104 calls:
Slowest
511.0ms
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) l))
481.0ms
(exp (sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
397.0ms
(pow (- (sqrt (/ (+ m n) 2)) (sqrt M)) 2)
387.0ms
(exp (- (pow (- (/ (+ m n) 2) M) 2)))
376.0ms
(pow (- (/ (+ m n) 2) M) 1)

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.4b

localize40.0ms

Local error

Found 3 expressions with local error:

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

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
24×add-log-exp
15×add-sqr-sqrt
13×distribute-lft-out--
12×diff-log
8×exp-prod
6×unpow-prod-down add-cube-cbrt
5×rem-exp-log
4×pow1 distribute-rgt-neg-in neg-log add-exp-log difference-of-squares
3×pow-unpow sub-neg add-cbrt-cube exp-sum insert-posit16
2×associate--r+ associate--r-
1×associate--l- neg-sub0 pow-to-exp pow-pow times-frac flip3-- exp-diff pow-exp flip-- unpow2 sqr-pow
Counts
3 → 72
Calls
3 calls:
Slowest
1.5s
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
776.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
33.0ms
(pow (- (/ (+ m n) 2) M) 2)

series484.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
215.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
140.0ms
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
130.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify21.2s

Counts
89 → 81
Calls
89 calls:
Slowest
584.0ms
(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) l))
575.0ms
(pow (- (/ (+ m n) 2) M) 2)
504.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
480.0ms
(log (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
458.0ms
(exp (sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.4b

localize58.0ms

Local error

Found 3 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
16×add-sqr-sqrt
13×distribute-lft-out-- add-log-exp
11×pow-unpow
9×unpow-prod-down
7×add-cube-cbrt
6×diff-log
5×pow1 add-exp-log
4×distribute-rgt-neg-in difference-of-squares
3×unpow-prod-up sub-neg add-cbrt-cube pow-exp insert-posit16
2×pow-to-exp pow-pow neg-log associate--r+ associate--r- sqr-pow
1×associate--l- neg-sub0 e-exp-1 times-frac flip3-- flip-- unpow2 pow-sub
Counts
3 → 75
Calls
3 calls:
Slowest
770.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
497.0ms
(pow E (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
38.0ms
(pow (- (/ (+ m n) 2) M) 2)

series533.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
250.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
176.0ms
(pow E (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
106.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify25.5s

Counts
101 → 84
Calls
101 calls:
Slowest
546.0ms
(* (log E) (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
485.0ms
(sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
483.0ms
(log (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
477.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
469.0ms
(- (* (- (pow (- (/ (+ m n) 2) M) 2)) (- (pow (- (/ (+ m n) 2) M) 2))) (* (- l (fabs (- m n))) (- l (fabs (- m n)))))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.4b

localize74.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))))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
6×cos-sum
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 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 → 45
Calls
4 calls:
Slowest
46.0ms
(cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))))
37.0ms
(cos (- (/ (* K (+ m n)) 2) M))
24.0ms
(cos (- (/ (* K (+ m n)) 2) M))
20.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series314.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
96.0ms
(cos (- (/ (* K (+ m n)) 2) M))
75.0ms
(cos (- (/ (* K (+ m n)) 2) M))
74.0ms
(cos (- (/ (* K (+ m n)) 2) M))
68.0ms
(cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))))

simplify7.4s

Counts
66 → 57
Calls
66 calls:
Slowest
313.0ms
(cbrt (* (+ (cos (+ (- (/ (* K (+ m n)) 2) M) (- (/ (* K (+ m n)) 2) M))) (cos (- (- (/ (* K (+ m n)) 2) M) (- (/ (* K (+ m n)) 2) M)))) (cos (- (/ (* K (+ m n)) 2) M))))
217.0ms
(exp (cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M)))))
215.0ms
(sqrt (cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M)))))
190.0ms
(log (cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M)))))
178.0ms
(sqrt (cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M)))))

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.4b

regimes576.0ms

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.6s8063×body80valid
576.0ms186×body640valid
169.0ms131×body1280valid
83.0ms61×body160valid
67.0ms95×body320valid
3.0ms2×body2560valid