Details

sample51.0ms

Algorithm

intervals

Results

14.0ms

322×

body

valid

simplify20.6s

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite55.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-+` `insert-posit16`
1×	`+-commutative` `sum-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 38

Calls

2 calls:

14.0ms	(+ x (* y (+ z x)))
39.0ms	(* y (+ z x))

series95.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify5.6s

Counts

44 → 44

Iterations

Iter	Nodes
done	5005
3	2919
2	629
1	197
0	68

prune616.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 1 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
3×	`sum-log`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+l+` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`

Counts

1 → 14

Calls

1 calls:

40.0ms

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

series59.0ms

Counts

1 → 3

Calls

1 calls:

59.0ms

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

simplify3.7s

Counts

17 → 17

Iterations

Iter	Nodes
done	5002
3	1842
2	427
1	110
0	35

prune162.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* (* (- z x) y) (+ z x)) (- z x)))
0.0b	(* (- z x) y)
0.1b	(* (* (- z x) y) (+ z x))
20.2b	(/ (* (* (- z x) y) (+ z x)) (- z x))

rewrite268.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube` `add-exp-log`
19×	`*-un-lft-identity`
18×	`associate-*l/`
17×	`add-sqr-sqrt`
11×	`pow1`
9×	`add-cube-cbrt`
8×	`frac-times` `flip3--` `flip--` `associate-/l/`
7×	`flip3-+` `associate-r` `prod-exp` `cbrt-unprod` `flip-+`
6×	`associate-l` `add-log-exp`
5×	`associate-/r*` `times-frac`
4×	`pow-prod-down` `associate-*r/` `insert-posit16`
3×	`cbrt-undiv` `div-exp` `distribute-lft-out--` `difference-of-squares`
2×	`associate-/r/` `*-commutative` `distribute-lft-out`
1×	`distribute-rgt-in` `+-commutative` `clear-num` `sum-log` `frac-2neg` `distribute-lft-in` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

31.0ms	(+ x (/ (* (* (- z x) y) (+ z x)) (- z x)))
41.0ms	(* (- z x) y)
101.0ms	(* (* (- z x) y) (+ z x))
88.0ms	(/ (* (* (- z x) y) (+ z x)) (- z x))

series256.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ x (/ (* (* (- z x) y) (+ z x)) (- z x)))
74.0ms	(* (- z x) y)
92.0ms	(* (* (- z x) y) (+ z x))
35.0ms	(/ (* (* (- z x) y) (+ z x)) (- z x))

simplify4.6s

Counts

116 → 116

Iterations

Iter	Nodes
done	5001
2	2629
1	529
0	165

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes486.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	11
1	11
0	7

end0.0ms

sample909.0ms

Algorithm

intervals

Results

416.0ms

10182×

body

valid