Details

Time bar (total: 29.9s)

sample93.0ms

Algorithm
intervals
Results
55.0ms262×body80valid
4.0ms4×body1280valid
2.0ms4×body320valid
1.0ms2×body640valid

simplify3.8s

Counts
1 → 1
Iterations
IterNodes
done5001
64997
51382
4501
3198
291
150
021

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.5b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite978.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
24×*-un-lft-identity
15×add-cube-cbrt
13×associate-*r*
11×times-frac
10×add-exp-log add-log-exp
9×add-cbrt-cube
8×exp-prod
7×pow1 unpow-prod-down
5×difference-of-squares
4×associate-*l* exp-sum distribute-lft-out--
3×pow-unpow sub-neg diff-log rem-exp-log
2×frac-times cos-sum flip3-+ associate-*l/ prod-exp associate--l+ cbrt-unprod flip-+ unswap-sqr sqr-pow
1×cos-diff pow-to-exp cbrt-undiv pow-pow exp-diff div-exp pow-prod-down pow-exp associate-*r/ *-commutative div-inv distribute-lft-out
Counts
4 → 90
Calls
4 calls:
828.0ms
(exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0)))
41.0ms
(* (+ m n) (/ K 2.0))
69.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
35.0ms
(cos (- (* (+ m n) (/ K 2.0)) M))

series720.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0)))
43.0ms
(* (+ m n) (/ K 2.0))
386.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
109.0ms
(cos (- (* (+ m n) (/ K 2.0)) M))

simplify1.6s

Counts
102 → 102
Iterations
IterNodes
done5003
21592
1590
0235

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize36.0ms

Local error

Found 2 expressions with local error:

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

rewrite836.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×*-un-lft-identity
8×exp-prod add-log-exp
7×unpow-prod-down
5×add-cube-cbrt difference-of-squares
4×exp-sum distribute-lft-out--
3×pow1 pow-unpow diff-log add-exp-log rem-exp-log
2×sub-neg add-cbrt-cube associate--l+ sqr-pow
1×pow-to-exp pow-pow times-frac exp-diff pow-exp
Counts
2 → 43
Calls
2 calls:
735.0ms
(exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0)))
97.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series565.0ms

Counts
2 → 6
Calls
2 calls:
180.0ms
(exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0)))
385.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify2.2s

Counts
49 → 49
Iterations
IterNodes
done5002
32241
2726
1314
0128

prune500.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

localize84.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2.0)
1.0b
(cbrt 2.0)
1.0b
(cbrt 2.0)
33.0b
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

rewrite606.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 add-log-exp
3×pow1/3
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 43
Calls
4 calls:
1.0ms
(cbrt 2.0)
1.0ms
(cbrt 2.0)
1.0ms
(cbrt 2.0)
604.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

series445.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 2.0)
0.0ms
(cbrt 2.0)
0.0ms
(cbrt 2.0)
445.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

simplify2.8s

Counts
49 → 49
Iterations
IterNodes
done5000
52860
41284
3600
2263
1121
063

prune568.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

localize195.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2.0)
33.0b
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
33.0b
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
33.0b
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
6×cos-sum
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×cbrt-prod cos-diff sub-neg
1×pow1/3
Counts
4 → 41
Calls
4 calls:
1.0ms
(cbrt 2.0)
685.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
661.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
705.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

series1.1s

Counts
4 → 10
Calls
4 calls:
0.0ms
(cbrt 2.0)
387.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
371.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))
338.0ms
(cos (- (* (* (* (/ (cbrt K) (cbrt 2.0)) (/ (cbrt K) (cbrt 2.0))) (+ n m)) (/ (cbrt K) (cbrt 2.0))) M))

simplify6.0s

Counts
51 → 51
Iterations
IterNodes
done5000
74601
63030
52040
41078
3519
2206
194
052

prune597.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes417.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done20
120
016

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.9s8096×body80valid
142.0ms125×body1280valid
125.0ms148×body640valid
55.0ms126×body320valid
21.0ms69×body160valid
2.0ms2×body2560valid