Details

sample127.0ms

Algorithm

intervals

Results

89.0ms	256×	body	80	valid
7.0ms	4×	body	1280	valid
4.0ms	4×	body	640	valid
3.0ms	3×	body	320	valid
1.0ms	2×	body	160	valid

simplify225.0ms

Calls

1 calls:

Slowest

225.0ms

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

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.5b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite565.0ms

Algorithm

rewrite-expression-head

Rules

108×	`prod-diff`
85×	`*-un-lft-identity`
81×	`add-sqr-sqrt`
77×	`add-cube-cbrt`
57×	`exp-sum`
51×	`distribute-rgt-neg-in`
49×	`distribute-lft-neg-in`
45×	`unpow-prod-down`
18×	`fma-neg`
15×	`unpow2`
13×	`add-log-exp`
7×	`neg-mul-1`
6×	`exp-prod`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `diff-log` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--`
3×	`rem-exp-log`
2×	`cos-sum` `neg-log` `associate--r+` `associate--r-` `difference-of-squares`
1×	`associate--l-` `neg-sub0` `cos-diff` `pow-to-exp` `pow-pow` `flip3--` `exp-diff` `pow-exp` `flip--`

Calls

4 calls:

Slowest

329.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
202.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
16.0ms	(cos (- (/ (* K (+ m n)) 2) M))
11.0ms	(pow (- (/ (+ m n) 2) M) 2)

series641.0ms

Calls

4 calls:

Slowest

267.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
158.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
110.0ms	(pow (- (/ (+ m n) 2) M) 2)
105.0ms	(cos (- (/ (* K (+ m n)) 2) M))

simplify49.9s

Calls

219 calls:

Slowest

806.0ms	(fma (- (pow (* (cbrt (- (/ (+ m n) 2) M)) (cbrt (- (/ (+ m n) 2) M))) 2)) (pow (cbrt (- (/ (+ m n) 2) M)) 2) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n)))))))
592.0ms	(exp (fma (- (/ (+ m n) 2) M) (- (- (/ (+ m n) 2) M)) (- (* (- l (fabs (- m n))) 1))))
506.0ms	(fma 1 (- (pow (- (/ (+ m n) 2) M) 2)) (- (* (- l (fabs (- m n))) 1)))
475.0ms	(exp (fma (- (pow (sqrt (- (/ (+ m n) 2) M)) 2)) (pow (sqrt (- (/ (+ m n) 2) M)) 2) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n))))))))
473.0ms	(- (sqrt (- (pow (- (/ (+ m n) 2) M) 2))) (sqrt (- l (fabs (- m n)))))

prune4.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.2b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite578.0ms

Algorithm

rewrite-expression-head

Rules

108×	`prod-diff`
86×	`*-un-lft-identity`
82×	`add-sqr-sqrt`
78×	`add-cube-cbrt`
57×	`exp-sum`
51×	`distribute-rgt-neg-in`
49×	`distribute-lft-neg-in`
45×	`unpow-prod-down`
22×	`fma-neg`
15×	`unpow2`
13×	`add-log-exp`
7×	`neg-mul-1`
6×	`exp-prod`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `diff-log` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--`
3×	`rem-exp-log`
2×	`flip3--` `neg-log` `flip--` `associate--r+` `associate--r-` `difference-of-squares`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `exp-diff` `pow-exp` `div-inv`

Calls

4 calls:

Slowest

339.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
214.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
12.0ms	(- (/ (+ m n) 2) M)
6.0ms	(pow (- (/ (+ m n) 2) M) 2)

series471.0ms

Calls

4 calls:

Slowest

175.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
144.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
108.0ms	(pow (- (/ (+ m n) 2) M) 2)
43.0ms	(- (/ (+ m n) 2) M)

simplify50.1s

Calls

219 calls:

Slowest

528.0ms	(fma (- (pow 1 2)) (pow (- (/ (+ m n) 2) M) 2) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n)))))))
520.0ms	(exp (fma (- (/ (+ m n) 2) M) (- (- (/ (+ m n) 2) M)) (- (* (- l (fabs (- m n))) 1))))
512.0ms	(fma (- (pow (* (cbrt (- (/ (+ m n) 2) M)) (cbrt (- (/ (+ m n) 2) M))) 2)) (pow (cbrt (- (/ (+ m n) 2) M)) 2) (- (* (- l (fabs (- m n))) 1)))
508.0ms	(fma (- 1) (pow (- (/ (+ m n) 2) M) 2) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n)))))))
504.0ms	(fma (pow 1 2) (- (pow (- (/ (+ m n) 2) M) 2)) (- (* (- l (fabs (- m n))) 1)))

prune3.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.2b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite366.0ms

Algorithm

rewrite-expression-head

Rules

108×	`prod-diff`
85×	`*-un-lft-identity`
81×	`add-sqr-sqrt`
77×	`add-cube-cbrt`
57×	`exp-sum`
51×	`distribute-rgt-neg-in`
49×	`distribute-lft-neg-in`
45×	`unpow-prod-down`
19×	`fma-neg`
15×	`unpow2`
13×	`add-log-exp`
7×	`neg-mul-1`
6×	`exp-prod`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `diff-log` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--`
3×	`rem-exp-log`
2×	`flip3--` `neg-log` `flip--` `associate--r+` `associate--r-` `difference-of-squares`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `exp-diff` `pow-exp`

Calls

4 calls:

Slowest

207.0ms	(exp (- (- (pow (- (* (+ m n) 1/2) M) 2)) (- l (fabs (- m n)))))
132.0ms	(- (- (pow (- (* (+ m n) 1/2) M) 2)) (- l (fabs (- m n))))
10.0ms	(pow (- (* (+ m n) 1/2) M) 2)
10.0ms	(- (* (+ m n) 1/2) M)

series883.0ms

Calls

4 calls:

Slowest

584.0ms	(- (- (pow (- (* (+ m n) 1/2) M) 2)) (- l (fabs (- m n))))
179.0ms	(exp (- (- (pow (- (* (+ m n) 1/2) M) 2)) (- l (fabs (- m n)))))
78.0ms	(pow (- (* (+ m n) 1/2) M) 2)
42.0ms	(- (* (+ m n) 1/2) M)

simplify42.5s

Calls

217 calls:

Slowest

591.0ms	(fma (- (- l (fabs (- m n)))) 1 (* (- l (fabs (- m n))) 1))
420.0ms	(exp (fma (pow (* (cbrt (- (* (+ m n) 1/2) M)) (cbrt (- (* (+ m n) 1/2) M))) 2) (- (pow (cbrt (- (* (+ m n) 1/2) M)) 2)) (- (* (cbrt (- l (fabs (- m n)))) (* (cbrt (- l (fabs (- m n)))) (cbrt (- l (fabs (- m n)))))))))
373.0ms	(exp (fma (- (pow (* (cbrt (- (* (+ m n) 1/2) M)) (cbrt (- (* (+ m n) 1/2) M))) 2)) (pow (cbrt (- (* (+ m n) 1/2) M)) 2) (- (* (- l (fabs (- m n))) 1))))
360.0ms	(exp (fma (- (pow (* (cbrt (- (* (+ m n) 1/2) M)) (cbrt (- (* (+ m n) 1/2) M))) 2)) (pow (cbrt (- (* (+ m n) 1/2) M)) 2) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n))))))))
353.0ms	(exp (fma (pow (* (cbrt (- (* (+ m n) 1/2) M)) (cbrt (- (* (+ m n) 1/2) M))) 2) (- (pow (cbrt (- (* (+ m n) 1/2) M)) 2)) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n))))))))

prune3.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.2b