Details

sample41.0ms

Algorithm

intervals

Results

18.0ms

330×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
32	4862
31	4713
30	4547
29	4398
28	4249
27	4100
26	3934
25	3785
24	3640
23	3484
22	3318
21	3169
20	3024
19	2868
18	2704
17	2553
16	2404
15	2246
14	2084
13	1913
12	1616
11	1038
10	271
9	144
8	114
7	83
6	66
5	57
4	49
3	34
2	20
1	13
0	8

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

21.0ms	(+ (* x y) (* z (- 1.0 y)))
57.0ms	(* z (- 1.0 y))

series151.0ms

Counts

2 → 6

Calls

2 calls:

71.0ms	(+ (* x y) (* z (- 1.0 y)))
80.0ms	(* z (- 1.0 y))

simplify3.8s

Counts

47 → 47

Iterations

Iter	Nodes
done	5002
3	2411
2	610
1	202
0	77

prune636.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

43.0ms	(* y (- x z))
55.0ms	(+ (* y (- x z)) (* 1.0 z))

series293.0ms

Counts

2 → 6

Calls

2 calls:

64.0ms	(* y (- x z))
227.0ms	(+ (* y (- x z)) (* 1.0 z))

simplify3.6s

Counts

47 → 47

Iterations

Iter	Nodes
done	5006
3	2227
2	587
1	201
0	77

prune311.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.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)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

27.0ms	(* (cbrt y) (cbrt y))
2.0ms	(cbrt y)
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series1.8s

Counts

4 → 12

Calls

4 calls:

459.0ms	(* (cbrt y) (cbrt y))
492.0ms	(cbrt y)
526.0ms	(cbrt y)
344.0ms	(cbrt y)

simplify10.2s

Counts

85 → 85

Iterations

Iter	Nodes
done	5002
4	3625
3	1001
2	372
1	137
0	61

prune2.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end12.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

10129×

body

valid