Details

sample65.0ms

Algorithm

intervals

Results

28.0ms

330×

body

valid

simplify9.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
41	4910
40	4766
39	4631
38	4494
37	4375
36	4238
35	4103
34	3966
33	3846
32	3709
31	3573
30	3436
29	3317
28	3180
27	3045
26	2914
25	2799
24	2655
23	2522
22	2385
21	2266
20	2120
19	1983
18	1837
17	1710
16	1545
15	1317
14	1111
13	1005
12	916
11	760
10	449
9	235
8	152
7	115
6	94
5	80
4	63
3	40
2	24
1	14
0	8

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (- x 1.0) z)

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
5×	`-un-lft-identity` `associate-l*`
3×	`pow1` `add-cbrt-cube` `associate-r` `add-exp-log` `add-cube-cbrt`
2×	`associate-*l/`
1×	`expm1-log1p-u` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

76.0ms

(* (- x 1.0) z)

series54.0ms

Counts

1 → 3

Calls

1 calls:

54.0ms

(* (- x 1.0) z)

simplify4.0s

Counts

28 → 28

Iterations

Iter	Nodes
done	5001
3	1297
2	313
1	115
0	51

prune338.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize148.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))
0.1b	(* x (* x x))
3.4b	(* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
9.5b	(/ (* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

rewrite676.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1`
16×	`add-cbrt-cube` `add-exp-log`
12×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt` `add-log-exp`
6×	`associate-l`
5×	`associate-r` `prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`expm1-log1p-u` `pow-prod-down` `associate-*r/` `insert-posit16` `log1p-expm1-u`
3×	`distribute-rgt-in` `associate-/r*` `sum-log` `distribute-lft-in` `times-frac`
2×	`cbrt-undiv` `sub-neg` `flip3-+` `flip3--` `cube-unmult` `div-exp` `prod-diff` `associate-/r/` `*-commutative` `flip-+` `flip--` `unswap-sqr` `associate-/l/`
1×	`pow2` `difference-cubes` `+-commutative` `associate-+r+` `clear-num` `fma-def` `frac-2neg` `pow-plus` `pow3` `pow-sqr` `div-inv` `associate-/l*`

Counts

4 → 102

Calls

4 calls:

60.0ms	(+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))
58.0ms	(* x (* x x))
319.0ms	(* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
234.0ms	(/ (* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

series625.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))
48.0ms	(* x (* x x))
181.0ms	(* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
352.0ms	(/ (* z (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

simplify4.1s

Counts

114 → 114

Iterations

Iter	Nodes
done	5001
2	1681
1	498
0	175

prune1.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize86.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune20.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Iter	Nodes
done	10
1	10
0	8

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.2s

10218×

body

valid