Details

sample388.0ms

Algorithm

intervals

Results

244.0ms	186×	body	1280	valid
74.0ms	107×	body	640	valid
25.0ms	56×	body	320	valid
16.0ms	122×	body	80	valid
9.0ms	30×	body	160	valid

simplify227.0ms

Calls

1 calls:

Slowest

227.0ms

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

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.3b

localize35.0ms

Local error

Found 2 expressions with local error:

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

rewrite186.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`associate-l`
10×	`*-un-lft-identity`
8×	`associate-r`
7×	`pow1` `add-cbrt-cube` `add-exp-log`
6×	`add-cube-cbrt`
4×	`add-log-exp` `unswap-sqr`
3×	`sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `distribute-lft-in` `flip3--` `associate-r/` `-commutative` `insert-posit16` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log`

Calls

2 calls:

Slowest

141.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
44.0ms	(- (exp (- 0 im)) (exp im))

series168.0ms

Calls

2 calls:

Slowest

123.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
45.0ms	(- (exp (- 0 im)) (exp im))

simplify3.3s

Calls

40 calls:

Slowest

407.0ms	(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
220.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
212.0ms	(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
209.0ms	(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))
204.0ms	(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (exp (- 0 im)) (exp im)) (- (exp (- 0 im)) (exp im))) (- (exp (- 0 im)) (exp im))))

prune737.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
55×	`associate-l`
43×	`*-un-lft-identity`
40×	`associate-r`
22×	`unswap-sqr`
21×	`add-exp-log`
18×	`pow1` `add-cbrt-cube`
17×	`add-cube-cbrt`
10×	`prod-exp` `distribute-lft-out--`
8×	`pow-prod-down` `cbrt-unprod` `difference-of-squares`
6×	`unpow-prod-down` `*-commutative` `distribute-lft-out`
4×	`insert-posit16` `add-log-exp` `sqr-pow`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`pow-to-exp` `flip3--` `pow-exp` `flip--`

Calls

4 calls:

Slowest

1.8s	(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
33.0ms	(* (* 1/3 im) im)
19.0ms	(* -1/60 (pow im 5))
9.0ms	(* 1/3 im)

series398.0ms

Calls

4 calls:

Slowest

269.0ms	(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
82.0ms	(* -1/60 (pow im 5))
28.0ms	(* (* 1/3 im) im)
19.0ms	(* 1/3 im)

simplify14.9s

Calls

107 calls:

Slowest

546.0ms	(- (* (sqrt -1/60) (pow im (/ 5 2))) (* (sqrt (+ (* (* 1/3 im) im) 2)) (sqrt im)))
538.0ms	(- (* (sqrt -1/60) (pow (sqrt im) 5)) (sqrt (* (+ (* (* 1/3 im) im) 2) im)))
527.0ms	(- (* (sqrt -1/60) (pow (sqrt im) 5)) (* (sqrt (+ (* (* 1/3 im) im) 2)) (sqrt im)))
525.0ms	(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
491.0ms	(- (* (sqrt -1/60) (pow im (/ 5 2))) (sqrt (* (+ (* (* 1/3 im) im) 2) im)))

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

3.6b	(log (exp (* (* 1/3 im) im)))
0.3b	(* 1/3 im)
0.1b	(* (* 1/3 im) im)
0.1b	(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))

rewrite3.9s

Algorithm

rewrite-expression-head

Rules

67×	`add-sqr-sqrt`
58×	`associate-l`
38×	`*-un-lft-identity`
37×	`associate-r`
26×	`log-pow`
23×	`unswap-sqr`
22×	`exp-prod`
20×	`add-cube-cbrt`
19×	`pow1`
17×	`add-exp-log`
16×	`add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
5×	`add-log-exp`
4×	`insert-posit16` `distribute-lft-out`
3×	`log-prod`
2×	`distribute-rgt-in` `sub-neg` `unpow-prod-down` `distribute-lft-in` `rem-log-exp` `associate-*r/` `sqr-pow`
1×	`flip3--` `exp-to-pow` `flip--`

Calls

4 calls:

Slowest

3.8s	(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
22.0ms	(* (* 1/3 im) im)
20.0ms	(log (exp (* (* 1/3 im) im)))
10.0ms	(* 1/3 im)

series326.0ms

Calls

4 calls:

Slowest

224.0ms	(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
49.0ms	(log (exp (* (* 1/3 im) im)))
35.0ms	(* (* 1/3 im) im)
18.0ms	(* 1/3 im)

simplify14.1s

Calls

110 calls:

Slowest

599.0ms	(* (* (* (* 1/3 1/3) 1/3) (* (* im im) im)) (* (* im im) im))
466.0ms	(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
447.0ms	(* (* 0.5 (cos re)) (- (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
428.0ms	(- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im))
416.0ms	(* (sqrt (* 0.5 (cos re))) (sqrt (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im))))

prune2.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

3.6b	(log (exp (* (* 1/3 im) im)))
0.3b	(* 1/3 im)
0.3b	(cbrt (cos re))
0.3b	(cbrt (cos re))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-pow`
23×	`add-sqr-sqrt`
22×	`exp-prod`
18×	`associate-l`
14×	`*-un-lft-identity` `add-cube-cbrt`
9×	`associate-r`
7×	`pow1` `add-exp-log`
6×	`cbrt-prod` `add-cbrt-cube`
5×	`add-log-exp` `unswap-sqr`
4×	`insert-posit16`
3×	`log-prod` `*-commutative`
2×	`pow1/3` `rem-log-exp`
1×	`exp-to-pow` `pow-prod-down` `prod-exp` `cbrt-unprod`

Calls

4 calls:

Slowest

36.0ms	(log (exp (* (* 1/3 im) im)))
10.0ms	(* 1/3 im)
2.0ms	(cbrt (cos re))
2.0ms	(cbrt (cos re))

series341.0ms

Calls

4 calls:

Slowest

176.0ms	(cbrt (cos re))
109.0ms	(cbrt (cos re))
33.0ms	(log (exp (* (* 1/3 im) im)))
22.0ms	(* 1/3 im)

simplify1.3s

Calls

52 calls:

Slowest

222.0ms	(log (* (cbrt (exp (* (* 1/3 im) im))) (cbrt (exp (* (* 1/3 im) im)))))
181.0ms	(- 1 (+ (* 1/6 (pow re 2)) (* 1/72 (pow re 4))))
177.0ms	(- 1 (+ (* 1/6 (pow re 2)) (* 1/72 (pow re 4))))
175.0ms	(* (* (* 1/3 1/3) 1/3) (* (* im im) im))
155.0ms	(log (sqrt (exp (* (* 1/3 im) im))))

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes360.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 0.7b

bsearch3.0ms

end0.0ms

sample12.1s

Algorithm

intervals

Results

6.6s	5725×	body	1280	valid
3.6s	3730×	body	640	valid
732.0ms	4453×	body	80	valid
681.0ms	1453×	body	320	valid
251.0ms	685×	body	160	valid