Details

sample40.0ms

Algorithm

intervals

Results

19.0ms

344×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
8	1998
7	830
6	571
5	421
4	285
3	178
2	78
1	27
0	9

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* z z) (+ z 1.0))
15.8b	(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-cbrt-cube` `add-exp-log`
12×	`prod-exp` `cbrt-unprod`
7×	`pow1`
6×	`cbrt-undiv` `div-exp`
5×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `associate-r` `associate-*r/`
3×	`pow-prod-down` `add-cube-cbrt`
2×	`expm1-log1p-u` `flip3-+` `associate-/r/` `flip-+` `log1p-expm1-u` `add-log-exp`
1×	`distribute-rgt-in` `clear-num` `associate-/r` `frac-2neg` `distribute-lft-in` `times-frac` `associate-l` `-commutative` `div-inv` `distribute-lft-out` `associate-/l*` `unswap-sqr`

Counts

2 → 55

Calls

2 calls:

24.0ms	(* (* z z) (+ z 1.0))
24.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

series149.0ms

Counts

2 → 6

Calls

2 calls:

55.0ms	(* (* z z) (+ z 1.0))
94.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

simplify2.3s

Counts

61 → 61

Iterations

Iter	Nodes
done	5000
2	3636
1	400
0	116

prune203.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.2b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ z 1.0))
6.2b	(* (/ x (* z z)) (/ y (+ z 1.0)))
6.4b	(/ x (* z z))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
34×	`add-sqr-sqrt` `times-frac`
31×	`add-cbrt-cube` `add-exp-log`
24×	`add-cube-cbrt`
18×	`associate-r`
10×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
7×	`associate-l` `distribute-lft-out`
6×	`associate-/l*`
5×	`pow1` `associate-/r*`
4×	`associate-/r/` `div-inv` `unswap-sqr`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `flip3-+` `flip-+`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 113

Calls

3 calls:

8.0ms	(/ y (+ z 1.0))
47.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
6.0ms	(/ x (* z z))

series123.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(/ y (+ z 1.0))
60.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
27.0ms	(/ x (* z z))

simplify2.2s

Counts

122 → 122

Iterations

Iter	Nodes
done	5001
2	3962
1	559
0	186

prune565.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ z 1.0))
1.6b	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
2.2b	(* (/ x z) (/ y (+ z 1.0)))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

94×	`add-exp-log`
58×	`add-cbrt-cube`
48×	`*-un-lft-identity`
46×	`add-sqr-sqrt` `times-frac`
40×	`prod-exp`
34×	`add-cube-cbrt`
31×	`div-exp`
26×	`associate-l`
22×	`cbrt-unprod`
19×	`associate-r`
18×	`cbrt-undiv`
10×	`pow1`
7×	`distribute-lft-out`
6×	`frac-times` `associate-*r/`
5×	`rec-exp` `1-exp`
4×	`associate-/r` `pow-prod-down` `associate-l/` `associate-/r/` `div-inv` `unswap-sqr`
3×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*` `add-log-exp`
2×	`flip3-+` `*-commutative` `flip-+`
1×	`clear-num` `frac-2neg`

Counts

3 → 155

Calls

3 calls:

8.0ms	(/ y (+ z 1.0))
42.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
30.0ms	(* (/ x z) (/ y (+ z 1.0)))

series147.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(/ y (+ z 1.0))
50.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
54.0ms	(* (/ x z) (/ y (+ z 1.0)))

simplify904.0ms

Counts

164 → 164

Iterations

Iter	Nodes
done	5001
1	843
0	263

prune683.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ z 1.0) y)
0.5b	(/ 1 (/ (+ z 1.0) y))
1.6b	(* (/ 1 z) (* (/ x z) (/ 1 (/ (+ z 1.0) y))))
2.2b	(* (/ x z) (/ 1 (/ (+ z 1.0) y)))

rewrite213.0ms

Algorithm

rewrite-expression-head

Rules

321×	`add-exp-log`
227×	`times-frac`
171×	`*-un-lft-identity`
150×	`add-sqr-sqrt`
143×	`div-exp`
130×	`prod-exp`
117×	`add-cube-cbrt`
97×	`add-cbrt-cube`
54×	`associate-r`
38×	`cbrt-undiv`
37×	`rec-exp` `1-exp`
32×	`cbrt-unprod`
26×	`associate-l`
25×	`distribute-lft-out`
19×	`associate-/r*`
12×	`pow1` `div-inv`
10×	`unswap-sqr`
7×	`frac-times` `associate-r/` `associate-/l`
4×	`expm1-log1p-u` `pow-prod-down` `associate-*l/` `log1p-expm1-u` `add-log-exp`
3×	`un-div-inv`
2×	`clear-num` `frac-2neg` `associate-/r/` `*-commutative` `associate-/l/`
1×	`flip3-+` `flip-+` `pow-flip` `inv-pow`

Counts

4 → 345

Calls

4 calls:

21.0ms	(/ (+ z 1.0) y)
14.0ms	(/ 1 (/ (+ z 1.0) y))
87.0ms	(* (/ 1 z) (* (/ x z) (/ 1 (/ (+ z 1.0) y))))
73.0ms	(* (/ x z) (/ 1 (/ (+ z 1.0) y)))

series165.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ (+ z 1.0) y)
25.0ms	(/ 1 (/ (+ z 1.0) y))
52.0ms	(* (/ 1 z) (* (/ x z) (/ 1 (/ (+ z 1.0) y))))
59.0ms	(* (/ x z) (/ 1 (/ (+ z 1.0) y)))

simplify1.1s

Counts

357 → 357

Iterations

Iter	Nodes
done	5001
1	1585
0	451

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes259.0ms

Accuracy

0.4% (3.2b remaining)

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

bsearch45.0ms

Steps

Iters	Range		Point
7	-3.346138046726123e-61	-1.2091970799919995e-62	-2.786098057235616e-62

simplify3.0ms

Iterations

Iter	Nodes
done	19
1	19
0	16

end0.0ms

sample971.0ms

Algorithm

intervals

Results

648.0ms

10782×

body

valid