Details

sample290.0ms

Algorithm

intervals

Results

162.0ms	170×	body	1280	valid
62.0ms	112×	body	640	valid
21.0ms	55×	body	320	valid
17.0ms	147×	body	80	valid
10.0ms	35×	body	160	valid

simplify5.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	3013
6	1344
5	614
4	219
3	89
2	39
1	18
0	10

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.7b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
5.1b	(- (exp (- im)) (exp im))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 76

Calls

2 calls:

66.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
36.0ms	(- (exp (- im)) (exp im))

series181.0ms

Counts

2 → 6

Calls

2 calls:

120.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
61.0ms	(- (exp (- im)) (exp im))

simplify3.2s

Counts

82 → 82

Iterations

Iter	Nodes
done	5000
3	4423
2	1164
1	409
0	146

prune308.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

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

series540.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(fma -1/60 (pow im 5) (- (* im (fma 1/3 (* im im) 2))))
74.0ms	(fma 1/3 (* im im) 2)
137.0ms	(* im (fma 1/3 (* im im) 2))
241.0ms	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* im (fma 1/3 (* im im) 2)))))

simplify2.0s

Counts

80 → 80

Iterations

Iter	Nodes
done	5000
2	1102
1	313
0	125

prune523.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 83

Calls

4 calls:

0.0ms	(fma 1/3 (* im im) 2)
18.0ms	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* (* im (sqrt (fma 1/3 (* im im) 2))) (sqrt (fma 1/3 (* im im) 2))))))
7.0ms	(* im (sqrt (fma 1/3 (* im im) 2)))
19.0ms	(* (* im (sqrt (fma 1/3 (* im im) 2))) (sqrt (fma 1/3 (* im im) 2)))

series636.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(fma 1/3 (* im im) 2)
253.0ms	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* (* im (sqrt (fma 1/3 (* im im) 2))) (sqrt (fma 1/3 (* im im) 2))))))
179.0ms	(* im (sqrt (fma 1/3 (* im im) 2)))
124.0ms	(* (* im (sqrt (fma 1/3 (* im im) 2))) (sqrt (fma 1/3 (* im im) 2)))

simplify1.9s

Counts

95 → 95

Iterations

Iter	Nodes
done	5001
2	1600
1	424
0	165

prune637.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2))))))
0.2b	(* im (sqrt (sqrt (fma 1/3 (* im im) 2))))
0.4b	(* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2))))
0.4b	(* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2)))

rewrite211.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

36.0ms	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2))))))
17.0ms	(* im (sqrt (sqrt (fma 1/3 (* im im) 2))))
49.0ms	(* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2))))
106.0ms	(* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2)))

series845.0ms

Counts

4 → 12

Calls

4 calls:

208.0ms	(* (* 0.5 (sin re)) (fma -1/60 (pow im 5) (- (* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2))))))
298.0ms	(* im (sqrt (sqrt (fma 1/3 (* im im) 2))))
194.0ms	(* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2))))
145.0ms	(* (* (* im (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (sqrt (fma 1/3 (* im im) 2)))) (sqrt (fma 1/3 (* im im) 2)))

simplify2.6s

Counts

118 → 118

Iterations

Iter	Nodes
done	5000
2	2254
1	606
0	232

prune760.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes626.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	25
2	25
1	23
0	16

end0.0ms

sample12.5s

Algorithm

intervals

Results

6.5s	4780×	body	1280	valid
2.9s	3769×	body	640	valid
1.3s	1907×	body	320	valid
925.0ms	4565×	body	80	valid
448.0ms	987×	body	160	valid