Details

sample128.0ms

Algorithm

intervals

Results

65.0ms	141×	body	1280	valid
32.0ms	107×	body	640	valid
8.0ms	52×	body	320	valid
6.0ms	121×	body	80	valid
3.0ms	31×	body	160	valid

simplify1.9m

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	18	11
2	39	11
3	77	11
4	116	11
5	314	11
6	529	11
7	723	11
8	1271	11
9	2121	11
10	2297	11
11	2549	11
12	2752	11
13	2911	11
14	3099	11
15	3258	11
16	3446	11
17	3605	11
18	3793	11
19	3952	11
20	4140	11
21	4299	11
22	4487	11
23	4646	11
24	4834	11
25	4993	11
done	5001	11

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 43.4b

localize10.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
5.5b	(- (exp (- im)) (exp im))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 40

Calls

2 calls:

28.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
11.0ms	(- (exp (- im)) (exp im))

series113.0ms

Counts

2 → 6

Calls

2 calls:

76.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
37.0ms	(- (exp (- im)) (exp im))

simplify2.3s

Counts

46 → 46

Iterations

Useful iterations: 3 (653.0ms)

Iter	Nodes	Cost
0	93	614
1	245	596
2	945	504
3	3830	502
done	5000	502

prune114.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-exp-log`
16×	`associate-l`
13×	`associate-r` `add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `prod-exp` `add-log-exp`
8×	`unpow-prod-down`
7×	`unswap-sqr`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`sub-neg` `pow-prod-down` `*-commutative`
2×	`distribute-rgt-in` `pow-to-exp` `flip3--` `distribute-lft-in` `diff-log` `associate-*r/` `pow-exp` `flip--`
1×	`cube-mult` `unpow3` `sum-log` `associate--r+`

Counts

4 → 94

Calls

4 calls:

9.0ms	(- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))
5.0ms	(* 1/60 (pow im 5))
26.0ms	(* (* 0.5 (sin re)) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))
7.0ms	(* (pow im 3) -1/3)

series319.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))
49.0ms	(* 1/60 (pow im 5))
175.0ms	(* (* 0.5 (sin re)) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))
35.0ms	(* (pow im 3) -1/3)

simplify40.0ms

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	177	1581