Details

sample22.0ms

Algorithm

intervals

Results

7.0ms

316×

body

valid

simplify10.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
43	4795
42	4756
41	4327
40	4289
39	3884
38	3847
37	3466
36	3428
35	3071
34	3034
33	2701
32	2662
31	2353
30	2316
29	2031
28	1994
27	1733
26	1696
25	1459
24	1421
23	1208
22	1171
21	982
20	945
19	780
18	742
17	601
16	564
15	447
14	410
13	317
12	280
11	211
10	174
9	134
8	107
7	66
6	50
5	45
4	39
3	35
2	25
1	15
0	6

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(* y (+ z x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`associate-r`
3×	`pow1` `add-cbrt-cube` `associate-l` `add-exp-log` `add-cube-cbrt`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

19.0ms

(* y (+ z x))

series35.0ms

Counts

1 → 3

Calls

1 calls:

35.0ms

(* y (+ z x))

simplify1.8s

Counts

26 → 26

Iterations

Iter	Nodes
done	5115
3	2325
2	470
1	140
0	46

prune128.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* y z) (* y x))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

16.0ms

(+ (* y z) (* y x))

series40.0ms

Counts

1 → 3

Calls

1 calls:

40.0ms

(+ (* y z) (* y x))

simplify3.6s

Counts

15 → 15

Iterations

Iter	Nodes
done	5000
4	3478
3	1245
2	388
1	100
0	31

prune78.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `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 → 73

Calls

4 calls:

11.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series1.3s

Counts

4 → 12

Calls

4 calls:

354.0ms	(* (cbrt y) (cbrt y))
320.0ms	(cbrt y)
321.0ms	(cbrt y)
271.0ms	(cbrt y)

simplify3.2s

Counts

85 → 85

Iterations

Iter	Nodes
done	5028
4	3114
3	971
2	377
1	136
0	61

prune510.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes205.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	9
1	9
0	6

end0.0ms

sample959.0ms

Algorithm

intervals

Results

406.0ms

10194×

body

valid