Details

sample312.0ms

Algorithm

intervals

Results

190.0ms	187×	body	1280	valid
61.0ms	100×	body	640	valid
20.0ms	45×	body	320	valid
17.0ms	122×	body	80	valid
6.0ms	22×	body	160	valid

simplify647.0ms

Calls

1 calls:

Slowest

647.0ms

(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.6b

localize32.0ms

Local error

Found 2 expressions with local error:

6.4b	(- (exp (- 0 im)) (exp im))
0.0b	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

45×	`prod-diff`
32×	`add-sqr-sqrt` `*-un-lft-identity`
28×	`add-cube-cbrt`
20×	`exp-sum`
17×	`distribute-rgt-in` `distribute-lft-in`
13×	`sub-neg`
5×	`fma-neg` `associate-r`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
2×	`expm1-log1p-u` `flip3--` `associate-*r/` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `associate-l` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

2 calls:

Slowest

32.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
11.0ms	(- (exp (- 0 im)) (exp im))

series175.0ms

Calls

2 calls:

Slowest

130.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
46.0ms	(- (exp (- 0 im)) (exp im))

simplify12.4s

Calls

88 calls:

Slowest

376.0ms	(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
361.0ms	(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
326.0ms	(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
319.0ms	(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
316.0ms	(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.0b	(* (fma -1/3 (* im im) -2) im)
0.0b	(fma -1/3 (* im im) -2)
0.0b	(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-r`
2×	`*-commutative`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod`

Calls

4 calls:

Slowest

12.0ms	(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
6.0ms	(* (fma -1/3 (* im im) -2) im)
0.0ms	(fma -1/3 (* im im) -2)
0.0ms	(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

series505.0ms

Calls

4 calls:

Slowest

223.0ms	(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
114.0ms	(* (fma -1/3 (* im im) -2) im)
97.0ms	(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))
71.0ms	(fma -1/3 (* im im) -2)

simplify4.4s

Calls

22 calls:

Slowest

427.0ms	(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
399.0ms	(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
380.0ms	(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
362.0ms	(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
348.0ms	(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))

prune740.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.5b	(* (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))) (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
11×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`pow1`
7×	`pow1/3`
6×	`associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

6.0ms	(* (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))) (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

series846.0ms

Calls

4 calls:

Slowest

270.0ms	(* (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))) (cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
200.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
198.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
178.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

simplify7.4s

Calls

41 calls:

Slowest

777.0ms	(* (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
760.0ms	(* (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
377.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
377.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
362.0ms	(+ (* 320/9 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow im 4))) (+ (* 40/3 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im))))))))

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
0.6b	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
1.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

series872.0ms

Calls

4 calls:

Slowest

235.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
229.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
217.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
191.0ms	(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

simplify4.0s

Calls

24 calls:

Slowest

380.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
378.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
366.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
344.0ms	(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
253.0ms	(- (+ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 2)))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 4))))

prune1.1s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

regimes674.0ms

Accuracy

0% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch2.0ms

end0.0ms

sample11.8s

Algorithm

intervals

Results

6.5s	5737×	body	1280	valid
2.6s	3574×	body	640	valid
1.5s	1545×	body	320	valid
604.0ms	4396×	body	80	valid
229.0ms	724×	body	160	valid