Details

sample65.0ms

Algorithm

intervals

Results

19.0ms	258×	body	80	valid
17.0ms	282×	body	80	nan

simplify35.6s

Counts

1 → 1

Iterations

Useful iterations: 4 (167.0ms)

Iter	Nodes	Cost
0	10	12
1	21	12
2	63	12
3	203	12
4	476	11
5	1030	11
6	1721	11
7	2404	11
8	2731	11
9	2785	11
10	3029	11
11	3277	11
12	3518	11
13	3822	11
14	4176	11
15	4222	11
16	4242	11
done	4242	11

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (+ y 0.5) (log y)))
0.0b	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.1b	(+ (- x (* (+ y 0.5) (log y))) y)
0.1b	(* (+ y 0.5) (log y))

rewrite332.0ms

Algorithm

rewrite-expression-head

Rules

39×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
20×	`add-log-exp`
18×	`prod-diff`
12×	`log-prod`
7×	`pow1` `fma-neg` `distribute-lft-out`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `diff-log` `add-cbrt-cube` `associate--r+`
5×	`associate-+l+`
4×	`expm1-log1p-u` `associate-r` `associate-l` `sum-log` `log1p-expm1-u`
3×	`sub-neg` `fma-def`
2×	`associate-+l-` `flip3--` `flip3-+` `associate-*l/` `flip--` `flip-+` `distribute-lft-out--`
1×	`+-commutative` `associate--l-` `pow-prod-down` `prod-exp` `associate--l+` `log-pow` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

4 → 117

Calls

4 calls:

7.0ms	(- x (* (+ y 0.5) (log y)))
220.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
56.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
44.0ms	(* (+ y 0.5) (log y))

series629.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(- x (* (+ y 0.5) (log y)))
94.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
63.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
419.0ms	(* (+ y 0.5) (log y))

simplify2.1s

Counts

129 → 129

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	212	1986
1	537	1749
2	1738	1552
done	5001	1466

prune381.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (+ (- (* (+ y 0.5) (log y)) y) z))
0.0b	(+ (- (* (+ y 0.5) (log y)) y) z)
0.1b	(- (* (+ y 0.5) (log y)) y)
0.1b	(* (+ y 0.5) (log y))

rewrite342.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
27×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
20×	`add-log-exp`
18×	`log-prod` `prod-diff`
12×	`associate--l+`
11×	`associate-+l+`
9×	`distribute-rgt-in` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `diff-log` `add-cbrt-cube` `distribute-lft-out`
4×	`expm1-log1p-u` `fma-neg` `associate-r` `associate-l` `sum-log` `log1p-expm1-u`
3×	`sub-neg` `fma-def`
2×	`associate-+l-` `flip3--` `flip3-+` `associate-*l/` `flip--` `flip-+` `distribute-lft-out--`
1×	`+-commutative` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `associate--r+` `associate--r-` `difference-of-squares` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

177.0ms	(- x (+ (- (* (+ y 0.5) (log y)) y) z))
106.0ms	(+ (- (* (+ y 0.5) (log y)) y) z)
28.0ms	(- (* (+ y 0.5) (log y)) y)
27.0ms	(* (+ y 0.5) (log y))

series1.3s

Counts

4 → 12

Calls

4 calls:

98.0ms	(- x (+ (- (* (+ y 0.5) (log y)) y) z))
69.0ms	(+ (- (* (+ y 0.5) (log y)) y) z)
668.0ms	(- (* (+ y 0.5) (log y)) y)
418.0ms	(* (+ y 0.5) (log y))

simplify2.1s

Counts

132 → 132

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	224	2405
1	572	1892
2	1844	1674
done	5002	1637

prune448.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (fma (+ y 0.5) (log y) (- z y)))
0.1b	(fma (+ y 0.5) (log y) (- z y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`add-cube-cbrt` `prod-diff`
4×	`add-log-exp`
3×	`fma-neg`
2×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `fma-udef` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 39

Calls

2 calls:

7.0ms	(- x (fma (+ y 0.5) (log y) (- z y)))
0.0ms	(fma (+ y 0.5) (log y) (- z y))

series135.0ms

Counts

2 → 6

Calls

2 calls:

86.0ms	(- x (fma (+ y 0.5) (log y) (- z y)))
49.0ms	(fma (+ y 0.5) (log y) (- z y))

simplify2.4s

Counts

45 → 45

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	102	1203
1	235	858
2	636	705
3	3002	591
done	5000	590

prune181.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.5b	(cbrt y)
0.5b	(cbrt y)
0.5b	(cbrt y)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

23.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

Details

sample65.0ms

simplify35.6s

prune13.0ms

localize24.0ms

rewrite332.0ms

series629.0ms

simplify2.1s

prune381.0ms

localize11.0ms

rewrite342.0ms

series1.3s

simplify2.1s

prune448.0ms

localize16.0ms

rewrite9.0ms

series135.0ms

simplify2.4s

prune181.0ms

localize21.0ms

rewrite29.0ms

series0.0ms