Details

sample34.0ms

Algorithm

intervals

Results

14.0ms

335×

body

valid

simplify11.5s

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

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

5.0ms	(+ x (* y (+ z x)))
15.0ms	(* y (+ z x))

series94.0ms

Counts

2 → 6

Calls

2 calls:

50.0ms	(+ x (* y (+ z x)))
44.0ms	(* y (+ z x))

simplify3.0s

Counts

42 → 42

Iterations

Iter	Nodes
done	5000
3	4530
2	698
1	200
0	66

prune188.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log` `*-un-lft-identity`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+`
1×	`associate-+r+` `distribute-rgt-out` `distribute-lft-out`

Counts

2 → 26

Calls

2 calls:

23.0ms	(+ x (+ (* z y) (* x y)))
12.0ms	(+ (* z y) (* x y))

series95.0ms

Counts

2 → 6

Calls

2 calls:

40.0ms	(+ x (+ (* z y) (* x y)))
55.0ms	(+ (* z y) (* x y))

simplify1.9s

Counts

32 → 32

Iterations

Iter	Nodes
done	5000
3	2406
2	610
1	162
0	49

prune145.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

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

15.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series1.1s

Counts

4 → 12

Calls

4 calls:

297.0ms	(* (cbrt y) (cbrt y))
233.0ms	(cbrt y)
277.0ms	(cbrt y)
278.0ms	(cbrt y)

simplify3.0s

Counts

85 → 85

Iterations

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

prune393.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (+ z x))
0.2b	(* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
0.3b	(* (* y (+ z x)) (* y (+ z x)))
34.6b	(cbrt (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x))))

rewrite503.0ms

Algorithm

rewrite-expression-head

Rules

200×	`pow1`
140×	`associate-*r/`
87×	`pow-prod-down`
61×	`flip3-+` `flip-+`
60×	`frac-times`
59×	`add-cbrt-cube` `add-exp-log`
40×	`prod-exp` `cbrt-unprod`
38×	`pow-prod-up`
30×	`associate-*l/`
26×	`cbrt-div`
19×	`pow-plus`
16×	`pow-sqr`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`associate-r` `add-cube-cbrt`
5×	`associate-l`
4×	`pow2` `add-log-exp`
3×	`*-commutative`
2×	`pow3`
1×	`cbrt-prod` `pow1/3` `swap-sqr` `rem-cbrt-cube` `distribute-lft-out` `unswap-sqr`

Counts

4 → 209

Calls

4 calls:

27.0ms	(* y (+ z x))
232.0ms	(* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
51.0ms	(* (* y (+ z x)) (* y (+ z x)))
177.0ms	(cbrt (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x))))

series228.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* y (+ z x))
88.0ms	(* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
59.0ms	(* (* y (+ z x)) (* y (+ z x)))
40.0ms	(cbrt (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x))))

simplify2.4s

Counts

221 → 221

Iterations

Iter	Nodes
done	5014
2	3511
1	691
0	228

prune604.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes202.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	11
1	11
0	7

end0.0ms

sample658.0ms

Algorithm

intervals

Results

366.0ms

10082×

body

valid