Details

sample26.0ms

Algorithm

intervals

Results

14.0ms

329×

body

valid

simplify3.9s

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (- x 1.0) z)

rewrite26.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:

25.0ms

(* (- x 1.0) z)

series52.0ms

Counts

1 → 3

Calls

1 calls:

52.0ms

(* (- x 1.0) z)

simplify1.6s

Counts

28 → 28

Iterations

Iter	Nodes
done	5001
3	1258
2	310
1	115
0	51

prune105.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize67.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))
2.6b	(* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z)
10.2b	(/ (* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

rewrite286.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`
7×	`associate-l`
5×	`prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`expm1-log1p-u` `associate-r` `pow-prod-down` `associate-*l/` `insert-posit16` `log1p-expm1-u`
3×	`associate-/r*` `sum-log` `times-frac` `cube-unmult`
2×	`cbrt-undiv` `flip3-+` `flip3--` `div-exp` `associate-/r/` `*-commutative` `flip-+` `flip--` `unswap-sqr` `associate-/l/`
1×	`pow2` `difference-cubes` `+-commutative` `associate-+r+` `clear-num` `fma-def` `frac-2neg` `pow-plus` `pow-sqr` `div-inv` `associate-/l*`

Counts

4 → 96

Calls

4 calls:

24.0ms	(+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))
19.0ms	(* x (* x x))
131.0ms	(* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z)
108.0ms	(/ (* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

series306.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))
66.0ms	(* x (* x x))
71.0ms	(* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z)
133.0ms	(/ (* (- (* x (* x x)) (* 1.0 (* 1.0 1.0))) z) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

simplify1.7s

Counts

108 → 108

Iterations

Iter	Nodes
done	5000
2	1755
1	458
0	162

prune595.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes113.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample924.0ms

Algorithm

intervals

Results

657.0ms

10005×

body

valid