Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

329×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
35	4909
34	4768
33	4615
32	4474
31	4337
30	4196
29	4043
28	3902
27	3765
26	3624
25	3471
24	3330
23	3193
22	3050
21	2903
20	2760
19	2623
18	2480
17	2333
16	2190
15	2053
14	1898
13	1739
12	1450
11	924
10	259
9	144
8	114
7	83
6	66
5	57
4	49
3	34
2	20
1	13
0	8

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
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 → 33

Calls

2 calls:

28.0ms	(* (- 1.0 x) y)
11.0ms	(+ (* (- 1.0 x) y) (* x z))

series72.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(* (- 1.0 x) y)
39.0ms	(+ (* (- 1.0 x) y) (* x z))

simplify1.9s

Counts

39 → 39

Iterations

Iter	Nodes
done	5004
3	2388
2	599
1	190
0	71

prune170.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.5b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.5b	(cbrt (+ (* (- 1.0 x) y) (* x z)))
0.5b	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

12.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
12.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
12.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
103.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))

series883.0ms

Counts

4 → 12

Calls

4 calls:

202.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
207.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
223.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
251.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))

simplify1.9s

Counts

99 → 99

Iterations

Iter	Nodes
done	5002
3	3151
2	1018
1	400
0	157

prune580.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `associate-l`
14×	`sqrt-div`
12×	`*-un-lft-identity`
11×	`sqrt-prod`
10×	`pow1` `add-cbrt-cube` `associate-*l/` `add-exp-log`
8×	`add-cube-cbrt`
7×	`flip3--` `flip--`
5×	`add-log-exp`
4×	`frac-times` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-r/` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+`

Counts

3 → 68

Calls

3 calls:

54.0ms	(+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))
25.0ms	(* (sqrt (- 1.0 x)) y)
47.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))

series477.0ms

Counts

3 → 9

Calls

3 calls:

339.0ms	(+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))
95.0ms	(* (sqrt (- 1.0 x)) y)
44.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))

simplify2.7s

Counts

77 → 77

Iterations

Iter	Nodes
done	5005
3	4123
2	1060
1	367
0	136

prune356.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.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/`
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 → 41

Calls

2 calls:

24.0ms	(* x (- z y))
10.0ms	(+ (* y 1.0) (* x (- z y)))

series94.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify1.8s

Counts

47 → 47

Iterations

Iter	Nodes
done	5019
3	2418
2	603
1	202
0	78

prune138.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

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

end0.0ms

sample862.0ms

Algorithm

intervals

Results

455.0ms

10195×

body

valid