Details

Time bar (total: 30.1s)

sample123.0ms

Algorithm
intervals
Results
85.0ms260×body80valid
7.0ms6×body640valid
3.0ms2×body1280valid
1.0ms2×body320valid
1.0ms1×body160valid

simplify319.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.8b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite886.0ms

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

series423.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
190.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
112.0ms
(pow (- (/ (+ m n) 2) M) 2)
81.0ms
(cos (- (/ (* K (+ m n)) 2) M))
41.0ms
(* K (+ m n))

simplify5.8s

Counts
53 → 94
Calls
53 calls:
Slowest
463.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
443.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
428.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
372.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
359.0ms
(pow (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2)

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.2b

localize42.0ms

Local error

Found 2 expressions with local error:

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

rewrite759.0ms

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

series315.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
228.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
87.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify5.3s

Counts
29 → 53
Calls
29 calls:
Slowest
517.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
454.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
442.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
419.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
388.0ms
(pow (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2)

prune920.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.2b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 47
Calls
4 calls:
Slowest
59.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2) M))
1.0ms
(cbrt K)
1.0ms
(cbrt K)
1.0ms
(cbrt K)

series966.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
301.0ms
(cbrt K)
276.0ms
(cbrt K)
256.0ms
(cbrt K)
133.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2) M))

simplify1.8s

Counts
24 → 59
Calls
24 calls:
Slowest
340.0ms
(* (cos (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos (- M)))
319.0ms
(* (cos (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos (- M)))
311.0ms
(* (cos (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos M))
157.0ms
(* (pow (* K -1) 1/3) (cbrt -1))
145.0ms
(* (pow (* K -1) 1/3) (cbrt -1))

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

localize143.0ms

Local error

Found 4 expressions with local error:

57.5b
(posit16->real (real->posit16 (cbrt K)))
33.2b
(cos (- (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2) M))
0.6b
(cbrt K)
0.6b
(cbrt K)

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
2×cos-sum pow1/3
1×cos-diff sub-neg remove-posit16
Counts
4 → 44
Calls
4 calls:
Slowest
61.0ms
(cos (- (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2) M))
1.0ms
(cbrt K)
1.0ms
(cbrt K)
0.0ms
(posit16->real (real->posit16 (cbrt K)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
305.0ms
(cbrt K)
288.0ms
(posit16->real (real->posit16 (cbrt K)))
279.0ms
(cbrt K)
161.0ms
(cos (- (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2) M))

simplify1.7s

Counts
21 → 56
Calls
21 calls:
Slowest
310.0ms
(* (cos (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos M))
297.0ms
(* (cos (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos (- M)))
271.0ms
(* (cos (/ (* (* (posit16->real (real->posit16 (cbrt K))) (cbrt K)) (* (cbrt K) (+ m n))) 2)) (cos (- M)))
156.0ms
(* (pow (* K -1) 1/3) (cbrt -1))
146.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

regimes641.0ms

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.9s8066×body80valid
268.0ms174×body640valid
197.0ms117×body1280valid
134.0ms111×body320valid
28.0ms53×body160valid
7.0ms4×body2560valid