Details

sample44.0ms

Algorithm

intervals

Results

27.0ms

256×

body

valid

simplify14.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	31	19
2	51	19
3	66	19
4	83	19
5	91	19
6	102	19
7	136	19
8	164	19
9	187	19
10	231	19
11	394	19
12	574	19
13	707	19
14	899	19
15	1048	19
16	1154	19
17	1710	19
18	2246	19
19	2988	19
20	3326	19
21	3329	19
done	3329	19

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.0b	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
13.4b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite375.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

111.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
205.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
21.0ms	(* x (+ 0.99229 (* x 0.04481)))
33.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series411.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
124.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
89.0ms	(* x (+ 0.99229 (* x 0.04481)))
83.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.1s

Counts

107 → 107

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	206	2229
1	523	2153
2	1562	1973
done	5001	1953

prune373.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- x) 0.70711))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.2b	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
13.4b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/r/`
3×	`associate-r/` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `distribute-lft-neg-out` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `unsub-neg` `clear-num` `sum-log`

Counts

4 → 100

Calls

4 calls:

18.0ms	(+ (* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- x) 0.70711))
16.0ms	(* x (+ 0.99229 (* x 0.04481)))
61.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
57.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series365.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(+ (* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- x) 0.70711))
80.0ms	(* x (+ 0.99229 (* x 0.04481)))
96.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
62.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.0s

Counts

112 → 112

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	219	2354
1	596	2259
2	1977	2031
done	5001	1983

prune383.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
0.2b	(* 0.70711 (* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
5.6b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
19.2b	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite250.0ms

Algorithm

rewrite-expression-head

Rules

50×	`pow1`
32×	`add-exp-log` `add-cbrt-cube`
28×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-cube-cbrt` `-un-lft-identity` `associate-r/`
22×	`associate-l`
21×	`pow-prod-down`
15×	`prod-exp` `cbrt-unprod`
14×	`distribute-rgt-in` `distribute-lft-in`
8×	`frac-times`
7×	`flip3-+` `flip-+` `difference-of-squares`
6×	`sub-neg` `flip3--` `flip--`
5×	`associate-r`
4×	`associate-l/` `associate-/r` `associate-/r/` `pow-sqr` `pow-prod-up` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `-commutative` `associate-/l`
2×	`pow-plus` `div-inv` `associate-/l/` `unswap-sqr`
1×	`pow2` `frac-2neg` `swap-sqr` `clear-num`

Counts

4 → 159

Calls

4 calls:

59.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
81.0ms	(* 0.70711 (* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
30.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
73.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series458.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
189.0ms	(* 0.70711 (* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
89.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
139.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.4s

Counts

171 → 171

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	310	6236
1	871	5984
2	3692	5218
done	5000	4346

prune734.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes27.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	22
1	29	22
2	33	22
3	34	22
done	34	22

end0.0ms

sample811.0ms

Algorithm

intervals

Results

665.0ms

8000×

body

valid