Details

sample23.0ms

Algorithm

intervals

Results

14.0ms

309×

body

valid

simplify2.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
32	4884
31	4734
30	4580
29	4414
28	4261
27	4111
26	3957
25	3791
24	3638
23	3488
22	3332
21	3172
20	3017
19	2867
18	2711
17	2551
16	2396
15	2246
14	2090
13	1922
12	1610
11	1048
10	310
9	171
8	134
7	97
6	75
5	63
4	50
3	34
2	20
1	13
0	8

prune3.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	(* z (- 1.0 y))
0.0b	(+ (* x y) (* z (- 1.0 y)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

17.0ms	(* z (- 1.0 y))
12.0ms	(+ (* x y) (* z (- 1.0 y)))

series86.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(* z (- 1.0 y))
40.0ms	(+ (* x y) (* z (- 1.0 y)))

simplify1.5s

Counts

49 → 49

Iterations

Iter	Nodes
done	5006
3	2512
2	622
1	208
0	79

prune210.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 y) (* 1.0 z))
0.0b	(+ (+ (* x y) (* 1.0 z)) (* (- y) z))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`distribute-lft-neg-out` `add-sqr-sqrt` `pow1` `+-commutative` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`
1×	`associate-+l+` `unsub-neg`

Counts

2 → 28

Calls

2 calls:

7.0ms	(+ (* x y) (* 1.0 z))
25.0ms	(+ (+ (* x y) (* 1.0 z)) (* (- y) z))

series77.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(+ (* x y) (* 1.0 z))
35.0ms	(+ (+ (* x y) (* 1.0 z)) (* (- y) z))

simplify2.1s

Counts

34 → 34

Iterations

Iter	Nodes
done	5018
3	3112
2	767
1	187
0	56

prune123.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 y))
0.2b	(cbrt (- 1.0 y))
0.2b	(cbrt (- 1.0 y))
0.2b	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 105

Calls

4 calls:

2.0ms	(cbrt (- 1.0 y))
3.0ms	(cbrt (- 1.0 y))
4.0ms	(cbrt (- 1.0 y))
42.0ms	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

series438.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(cbrt (- 1.0 y))
116.0ms	(cbrt (- 1.0 y))
105.0ms	(cbrt (- 1.0 y))
121.0ms	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

simplify1.5s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
3	2000
2	806
1	342
0	152

prune560.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (* (- 1.0 y) z))
0.1b	(* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z))))
0.2b	(* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))
37.7b	(cbrt (* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))))

rewrite186.0ms

Algorithm

rewrite-expression-head

Rules

61×	`flip3-+` `flip-+`
60×	`frac-times`
30×	`associate-*r/`
26×	`cbrt-div`
25×	`pow1`
18×	`associate-*l/`
12×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-exp-log`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l` `pow-prod-up` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`swap-sqr`
2×	`pow2` `pow-plus` `cube-unmult` `pow-sqr` `*-commutative` `unswap-sqr`
1×	`cbrt-prod` `+-commutative` `sum-log` `pow1/3` `rem-cbrt-cube`

Counts

4 → 140

Calls

4 calls:

12.0ms	(+ (* x y) (* (- 1.0 y) z))
85.0ms	(* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z))))
34.0ms	(* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))
51.0ms	(cbrt (* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))))

series317.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ (* x y) (* (- 1.0 y) z))
145.0ms	(* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z))))
73.0ms	(* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))
45.0ms	(cbrt (* (+ (* x y) (* (- 1.0 y) z)) (* (+ (* x y) (* (- 1.0 y) z)) (+ (* x y) (* (- 1.0 y) z)))))

simplify2.4s

Counts

152 → 152

Iterations

Iter	Nodes
done	5004
2	2549
1	650
0	216

prune520.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes104.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	22
3	22
2	21
1	17
0	10

end0.0ms

sample897.0ms

Algorithm

intervals

Results

640.0ms

10005×

body

valid