Details

Time bar (total: 13.0s)

sample43.0ms

Algorithm
intervals
Results
21.0ms268×body80valid
1.0ms4×body640valid
1.0ms5×body320valid
1.0ms2×body1280valid
0.0ms1×body160valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 4 (58.0ms)

IterNodesCost
02129
15029
29229
319529
443828
5138928
done500128

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite621.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 diff-log add-cbrt-cube
4×associate-*r*
3×sub-neg pow-unpow associate-*l* difference-of-squares
2×cos-sum distribute-rgt-neg-in associate-*r/ neg-log associate--r+
1×associate--l- neg-sub0 distribute-rgt-in cos-diff pow-to-exp flip3-- pow-pow distribute-lft-in flip3-+ times-frac pow-prod-down pow-exp prod-exp *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out associate--r- unswap-sqr sqr-pow
Counts
4 → 77
Calls
4 calls:
9.0ms
(* K (+ m n))
33.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
558.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
19.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series531.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* K (+ m n))
263.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
183.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
59.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify2.4s

Counts
89 → 89
Iterations

Useful iterations: 3 (863.0ms)

IterNodesCost
01891340
14331261
212011168
346301149
done50001149

prune339.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.8b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite575.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 add-exp-log pow-unpow difference-of-squares
2×sub-neg distribute-rgt-neg-in neg-log add-cbrt-cube associate--r+
1×associate--l- neg-sub0 pow-to-exp flip3-- pow-pow times-frac pow-exp flip-- associate--r- sqr-pow
Counts
2 → 44
Calls
2 calls:
30.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
543.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))

series435.0ms

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

simplify1.2s

Counts
50 → 50
Iterations

Useful iterations: 3 (330.0ms)

IterNodesCost
0122937
1277879
2705826
32568807
done5000807

prune167.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.8b

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt K)
0.6b
(cbrt K)
0.6b
(cbrt K)
31.7b
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

rewrite49.0ms

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

series668.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(cbrt K)
182.0ms
(cbrt K)
179.0ms
(cbrt K)
102.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

simplify1.3s

Counts
55 → 55
Iterations

Useful iterations: 3 (83.0ms)

IterNodesCost
060516
1113498
2235386
3580335
42221335
done5000335

prune276.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.8b

localize36.0ms

Local error

Found 4 expressions with local error:

3.2b
(* K (+ (pow m 3) (pow n 3)))
4.8b
(+ (pow m 3) (pow n 3))
31.7b
(cos (- (/ (/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n)))) 2.0) M))
35.5b
(/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n))))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
11×add-exp-log add-cbrt-cube
10×add-sqr-sqrt distribute-lft-out
9×associate-*r*
8×add-cube-cbrt unpow-prod-down cube-prod
6×pow1 add-log-exp
4×flip3-+ associate-*r/ flip-+
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv cos-sum div-exp prod-exp associate-/r/ sum-cubes cbrt-unprod associate-/l/
1×+-commutative distribute-rgt-in cos-diff sub-neg frac-2neg distribute-lft-in pow-prod-down clear-num sum-log *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 80
Calls
4 calls:
49.0ms
(* K (+ (pow m 3) (pow n 3)))
13.0ms
(+ (pow m 3) (pow n 3))
114.0ms
(cos (- (/ (/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n)))) 2.0) M))
31.0ms
(/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n))))

series449.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* K (+ (pow m 3) (pow n 3)))
47.0ms
(+ (pow m 3) (pow n 3))
180.0ms
(cos (- (/ (/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n)))) 2.0) M))
126.0ms
(/ (* K (+ (pow m 3) (pow n 3))) (+ (* m m) (- (* n n) (* m n))))

simplify733.0ms

Counts
92 → 92
Iterations

Useful iterations: 2 (163.0ms)

IterNodesCost
01491853
13911662
218481442
done50011442

prune485.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes188.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01720
12118
done2118

end0.0ms

sample1.1s

Algorithm
intervals
Results
651.0ms8117×body80valid
54.0ms160×body640valid
50.0ms102×body1280valid
30.0ms109×body320valid
9.0ms50×body160valid
5.0ms6×body2560valid