Details

sample25.0ms

Algorithm

intervals

Results

15.0ms

327×

body

valid

simplify3.4s

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma x y (* (- x 1.0) z))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

1 → 11

Calls

1 calls:

0.0ms

(fma x y (* (- x 1.0) z))

series64.0ms

Counts

1 → 3

Calls

1 calls:

64.0ms

(fma x y (* (- x 1.0) z))

simplify1.8s

Counts

14 → 14

Iterations

Iter	Nodes
done	5000
4	1704
3	321
2	82
1	38
0	22

prune49.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x y (* (- x 1.0) z))
0.0b	(sqrt (fma x y (* (- x 1.0) z)))
0.0b	(sqrt (fma x y (* (- x 1.0) z)))
0.3b	(* (sqrt (fma x y (* (- x 1.0) z))) (sqrt (fma x y (* (- x 1.0) z))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
14×	`*-un-lft-identity` `add-cube-cbrt`
10×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square`
1×	`pow2` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef`

Counts

4 → 95

Calls

4 calls:

0.0ms	(fma x y (* (- x 1.0) z))
1.0ms	(sqrt (fma x y (* (- x 1.0) z)))
1.0ms	(sqrt (fma x y (* (- x 1.0) z)))
10.0ms	(* (sqrt (fma x y (* (- x 1.0) z))) (sqrt (fma x y (* (- x 1.0) z))))

series357.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(fma x y (* (- x 1.0) z))
131.0ms	(sqrt (fma x y (* (- x 1.0) z)))
138.0ms	(sqrt (fma x y (* (- x 1.0) z)))
46.0ms	(* (sqrt (fma x y (* (- x 1.0) z))) (sqrt (fma x y (* (- x 1.0) z))))

simplify1.8s

Counts

107 → 107

Iterations

Iter	Nodes
done	5002
3	1733
2	455
1	183
0	92

prune420.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes101.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

sample844.0ms

Algorithm

intervals

Results

625.0ms

10067×

body

valid