Details

sample108.0ms

Algorithm

intervals

Results

72.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

simplify350.0ms

Calls

1 calls:

Slowest

350.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.5b

localize92.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))))

rewrite2.5s

Algorithm

rewrite-expression-head

Rules

356×	`add-sqr-sqrt`
303×	`*-un-lft-identity`
290×	`prod-diff`
138×	`unpow-prod-down`
133×	`exp-sum` `add-cube-cbrt`
125×	`distribute-rgt-neg-in`
121×	`distribute-lft-neg-in`
100×	`difference-of-squares`
87×	`distribute-lft-out--`
32×	`times-frac`
26×	`fma-neg`
25×	`add-log-exp`
23×	`cos-sum` `unpow2` `sqr-pow`
12×	`diff-log`
11×	`neg-mul-1` `associate--r+`
8×	`exp-prod`
5×	`pow1` `add-exp-log` `rem-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `neg-log` `insert-posit16` `log1p-expm1-u`
3×	`pow-unpow` `div-inv`
2×	`associate--r-`
1×	`associate--l-` `neg-sub0` `cos-diff` `pow-to-exp` `pow-pow` `flip3--` `exp-diff` `pow-exp` `flip--`

Calls

4 calls:

Slowest

1.5s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
901.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
63.0ms	(pow (- (/ (+ m n) 2) M) 2)
42.0ms	(cos (- (/ (* K (+ m n)) 2) M))

series554.0ms

Calls

4 calls:

Slowest

220.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
162.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
88.0ms	(pow (- (/ (+ m n) 2) M) 2)
84.0ms	(cos (- (/ (* K (+ m n)) 2) M))

simplify2.1m

Calls

498 calls:

Slowest

898.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)))
867.0ms	(exp (fma (* (cbrt (- (pow (- (/ (+ m n) 2) M) 2))) (cbrt (- (pow (- (/ (+ m n) 2) M) 2)))) (cbrt (- (pow (- (/ (+ m n) 2) M) 2))) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n))))))))
747.0ms	(exp (fma (pow (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2) (- (pow (- (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2)) (- (* (sqrt (- l (fabs (- m n)))) (sqrt (- l (fabs (- m n))))))))
698.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)))))))
669.0ms	(- (pow (* (cbrt (- (/ (+ m n) 2) M)) (cbrt (- (/ (+ m n) 2) M))) 2))

prune8.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.2b

localize64.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)

rewrite2.5s

Algorithm

rewrite-expression-head

Rules

396×	`add-sqr-sqrt`
364×	`*-un-lft-identity`
317×	`prod-diff`
168×	`add-cube-cbrt`
138×	`unpow-prod-down`
133×	`exp-sum`
125×	`distribute-rgt-neg-in`
121×	`distribute-lft-neg-in`
102×	`difference-of-squares`
88×	`distribute-lft-out--`
72×	`times-frac`
42×	`fma-neg`
27×	`add-log-exp`
23×	`unpow2` `sqr-pow`
13×	`diff-log`
12×	`distribute-lft-out`
11×	`neg-mul-1` `associate--r+`
8×	`exp-prod`
5×	`pow1` `add-exp-log` `rem-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `neg-log` `insert-posit16` `log1p-expm1-u` `div-inv`
3×	`pow-unpow`
2×	`flip3--` `flip--` `associate--r-`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `exp-diff` `pow-exp`

Calls

4 calls:

Slowest

1.5s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
861.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
48.0ms	(- (/ (+ m n) 2) M)
31.0ms	(pow (- (/ (+ m n) 2) M) 2)

series557.0ms

Calls

4 calls:

Slowest

250.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
150.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
111.0ms	(pow (- (/ (+ m n) 2) M) 2)
46.0ms	(- (/ (+ m n) 2) M)

simplify2.1m

Calls

591 calls:

Slowest

798.0ms	(exp (- (pow (- (/ (+ m n) 2) M) 2)))
785.0ms	(fma (- (/ (+ m n) 2) M) (- (- (/ (+ m n) 2) M)) (- (* (cbrt (- l (fabs (- m n)))) (* (cbrt (- l (fabs (- m n)))) (cbrt (- l (fabs (- m n))))))))
778.0ms	(exp (fma (- (pow (+ (sqrt (/ (+ m n) 2)) (sqrt M)) 2)) (pow (- (sqrt (/ (+ m n) 2)) (sqrt M)) 2) (- (* (- l (fabs (- m n))) 1))))
652.0ms	(exp (fma (- (/ (+ m n) 2) M) (- (- (/ (+ m n) 2) M)) (- (* (- l (fabs (- m n))) 1))))
613.0ms	(fma (pow (+ (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2) (- (pow (- (/ (sqrt (+ m n)) (sqrt 2)) (sqrt M)) 2)) (- (* (- (sqrt l) (sqrt (fabs (- m n)))) (+ (sqrt l) (sqrt (fabs (- m n)))))))

prune8.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.2b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
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))))

rewrite4.3s

Algorithm

rewrite-expression-head

Rules

498×	`add-sqr-sqrt`
415×	`*-un-lft-identity`
399×	`prod-diff`
266×	`exp-sum`
198×	`unpow-prod-down`
180×	`distribute-rgt-neg-in`
176×	`distribute-lft-neg-in`
173×	`add-cube-cbrt`
146×	`difference-of-squares`
144×	`exp-prod`
137×	`log-pow`
123×	`distribute-lft-out--`
33×	`times-frac` `unpow2` `sqr-pow`
26×	`fma-neg`
25×	`add-log-exp`
16×	`neg-mul-1`
12×	`diff-log`
11×	`associate--r+`
6×	`pow1`
5×	`add-exp-log` `rem-exp-log`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `neg-log` `insert-posit16` `log1p-expm1-u`
3×	`pow-unpow` `log-prod` `associate--r-`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `flip3--` `exp-diff` `rem-log-exp` `pow-exp` `flip--`

Calls

4 calls:

Slowest

1.7s	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
1.6s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
910.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
61.0ms	(pow (- (/ (+ m n) 2) M) 2)

series681.0ms

Calls

4 calls:

Slowest

227.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
176.0ms	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
157.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
121.0ms	(pow (- (/ (+ m n) 2) M) 2)

simplify2.5m

Calls

614 calls:

Slowest

708.0ms	(fma (- (- l (fabs (- m n)))) 1 (* (- l (fabs (- m n))) 1))
652.0ms	(fma (sqrt (- (pow (- (/ (+ m n) 2) M) 2))) (sqrt (- (pow (- (/ (+ m n) 2) M) 2))) (- (* (- (sqrt l) (sqrt (fabs (- m n)))) (+ (sqrt l) (sqrt (fabs (- m n)))))))
625.0ms	(exp (fma (- (- l (fabs (- m n)))) 1 (* (- l (fabs (- m n))) 1)))
623.0ms	(- (pow (+ (sqrt (/ (+ m n) 2)) (sqrt M)) 2))
619.0ms	(exp (fma (- (/ (+ m n) 2) M) (- (- (/ (+ m n) 2) M)) (- (* (- l (fabs (- m n))) 1))))

prune10.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

localize110.0ms

Local error

Found 4 expressions with local error:

34.6b	(sin (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))
34.3b	(cos (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))
13.7b	(cbrt (/ (* K (+ m n)) 2))
13.7b	(cbrt (/ (* K (+ m n)) 2))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`times-frac`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-div` `pow1/3` `fma-udef` `div-inv`
1×	`cos-sum` `sin-sum`

Calls

4 calls:

Slowest

7.0ms	(cbrt (/ (* K (+ m n)) 2))
4.0ms	(cbrt (/ (* K (+ m n)) 2))
3.0ms	(sin (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))
2.0ms	(cos (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))

series1.7s

Calls

4 calls:

Slowest

677.0ms	(cos (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))
675.0ms	(sin (fma (* (cbrt (/ (* K (+ m n)) 2)) (cbrt (/ (* K (+ m n)) 2))) (cbrt (/ (* K (+ m n)) 2)) (- (* M 1))))
220.0ms	(cbrt (/ (* K (+ m n)) 2))
167.0ms	(cbrt (/ (* K (+ m n)) 2))

simplify4.7s

Calls

30 calls:

Slowest

777.0ms	(* (cbrt 1/2) (exp (* 1/3 (+ (log K) (log n)))))
410.0ms	(* (cbrt 1/2) (exp (* -1/3 (+ (log (/ -1 m)) (log (/ -1 K))))))
385.0ms	(* (cbrt 1/2) (exp (* -1/3 (+ (log (/ -1 m)) (log (/ -1 K))))))
349.0ms	(- (sin (* 1/2 (* (exp (* 1/3 (+ (* 2 (log K)) (* 2 (log n))))) (exp (* 1/3 (+ (log K) (log n))))))) (* (cos (* 1/2 (* (exp (* 1/3 (+ (* 2 (log K)) (* 2 (log n))))) (exp (* 1/3 (+ (log K) (log n))))))) M))
344.0ms	(* (cbrt 1/2) (exp (* 1/3 (+ (log K) (log n)))))

prune2.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.2b

regimes635.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample3.5s

Algorithm

intervals

Results

2.7s	8109×	body	80	valid
197.0ms	96×	body	1280	valid
196.0ms	165×	body	640	valid
74.0ms	94×	body	320	valid
25.0ms	54×	body	160	valid
2.0ms	1×	body	2560	valid