Details

Time bar (total: 58.7s)

sample467.0ms

Algorithm
intervals
Results
417.0ms259×body80valid
13.0ms3×body1280valid
5.0ms5×body320valid
4.0ms3×body640valid
1.0ms1×body160valid

simplify335.0ms

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

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.5b

localize286.0ms

Local error

Found 4 expressions with local error:

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

rewrite835.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
6×add-cbrt-cube associate-*r* add-exp-log
4×insert-posit16 add-log-exp
3×sub-neg unpow-prod-down associate-*l* exp-sum
2×cos-sum
1×cos-diff pow-to-exp pow-pow flip3-- exp-diff pow-prod-down pow-exp prod-exp associate-*r/ *-commutative cbrt-unprod flip-- unpow2 associate--r-
Calls
4 calls:
Slowest
798.0ms
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
14.0ms
(cos (- (/ (* K (+ m n)) 2) M))
13.0ms
(pow (- (/ (+ m n) 2) M) 2)
9.0ms
(- (/ (* K (+ m n)) 2) M)

series672.0ms

Calls
4 calls:
Slowest
469.0ms
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
81.0ms
(cos (- (/ (* K (+ m n)) 2) M))
62.0ms
(- (/ (* K (+ m n)) 2) M)
60.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify7.3s

Calls
32 calls:
Slowest
876.0ms
(* (exp (- (+ (* m M) (+ (* M n) (fabs (- m n)))) (+ (* 1/4 (pow m 2)) (+ (pow M 2) (+ (* 1/2 (* m n)) (+ l (* 1/4 (pow n 2)))))))) (cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M)))
811.0ms
(* (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))) (* (* (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
488.0ms
(+ (log (cos (- (/ (* K (+ m n)) 2) M))) (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
418.0ms
(- (exp (fabs (- m n))) (+ (* l (exp (fabs (- m n)))) (* 1/4 (* (pow m 2) (exp (fabs (- m n)))))))
417.0ms
(* (exp (- (+ (* m M) (+ (* M n) (fabs (- m n)))) (+ (* 1/4 (pow m 2)) (+ (pow M 2) (+ (* 1/2 (* m n)) (+ l (* 1/4 (pow n 2)))))))) (cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M)))

prune2.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.6b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×unpow-prod-down
2×add-sqr-sqrt pow1 *-un-lft-identity add-exp-log add-cube-cbrt
1×pow-to-exp pow-pow add-cbrt-cube pow-exp insert-posit16 unpow2 add-log-exp
Calls
1 calls:
Slowest
12.0ms
(pow (- (/ (+ m n) 2) M) 2)

series61.0ms

Calls
1 calls:
Slowest
61.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify1.0s

Calls
8 calls:
Slowest
321.0ms
(+ (* 1/2 (* m n)) (+ (* 1/4 (pow m 2)) (* 1/4 (pow n 2))))
214.0ms
(- (pow M 2) (+ (* m M) (* M n)))
208.0ms
(- (pow M 2) (+ (* m M) (* M n)))
120.0ms
(* (log (- (/ (+ m n) 2) M)) 2)
98.0ms
(pow (* (cbrt (- (/ (+ m n) 2) M)) (cbrt (- (/ (+ m n) 2) M))) 2)

prune600.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.6b

localize71.0ms

Local error

Found 4 expressions with local error:

43.5b
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2) M)) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))
13.9b
(cbrt (- (/ (* K (+ m n)) 2) M))
13.9b
(cbrt (- (/ (* K (+ m n)) 2) M))
13.9b
(cbrt (- (/ (* K (+ m n)) 2) M))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×flip3-- pow1/3 flip--
Calls
4 calls:
Slowest
43.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2) M)) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))
5.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
5.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
5.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))

series1.4s

Calls
4 calls:
Slowest
564.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
305.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
301.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
193.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2) M)) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))

simplify11.1s

Calls
27 calls:
Slowest
1.4s
(cbrt (- (pow (/ (* K (+ m n)) 2) 3) (pow M 3)))
1.1s
(exp (* 1/3 (- (log 1/2) (+ (log (/ 1 m)) (log (/ 1 K))))))
970.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))
838.0ms
(exp (* 1/3 (- (log 1/2) (+ (log (/ 1 m)) (log (/ 1 K))))))
682.0ms
(cbrt (- (pow (/ (* K (+ m n)) 2) 3) (pow M 3)))

prune2.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.5b

localize43.0ms

Local error

Found 4 expressions with local error:

44.3b
(cos (* (* (cbrt (* m (/ K 2))) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))
13.9b
(cbrt (* m (/ K 2)))
13.9b
(cbrt (- (/ (* K (+ m n)) 2) M))
13.9b
(cbrt (- (/ (* K (+ m n)) 2) M))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
7×cbrt-prod
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×cbrt-div
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
2×flip3-- flip--
1×associate-*r/
Calls
4 calls:
Slowest
57.0ms
(cos (* (* (cbrt (* m (/ K 2))) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))
6.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
5.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
1.0ms
(cbrt (* m (/ K 2)))

series3.1s

Calls
4 calls:
Slowest
2.2s
(cos (* (* (cbrt (* m (/ K 2))) (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (- (/ (* K (+ m n)) 2) M))))
389.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
294.0ms
(cbrt (- (/ (* K (+ m n)) 2) M))
161.0ms
(cbrt (* m (/ K 2)))

simplify8.5s

Calls
24 calls:
Slowest
989.0ms
(cbrt (- (pow (/ (* K (+ m n)) 2) 3) (pow M 3)))
798.0ms
(* (cbrt 1/2) (exp (* -1/3 (+ (log (/ 1 m)) (log (/ 1 K))))))
775.0ms
(exp (* 1/3 (- (log 1/2) (+ (log (/ 1 m)) (log (/ 1 K))))))
740.0ms
(cbrt (- (* (/ (* K (+ m n)) 2) (/ (* K (+ m n)) 2)) (* M M)))
587.0ms
(cbrt (- (pow (/ (* K (+ m n)) 2) 3) (pow M 3)))

prune3.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.5b

regimes1.3s

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample13.4s

Algorithm
intervals
Results
11.8s8167×body80valid
455.0ms94×body320valid
346.0ms153×body640valid
295.0ms126×body1280valid
74.0ms57×body160valid
7.0ms3×body2560valid