Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify13.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.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

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 0.99229 (* x 0.04481))
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)))
15.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite254.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

11.0ms	(+ 0.99229 (* x 0.04481))
182.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)))
34.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series369.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ 0.99229 (* x 0.04481))
137.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
85.0ms	(* x (+ 0.99229 (* x 0.04481)))
82.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.6s

Counts

103 → 103

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	202	1888
1	511	1810
2	1553	1662
done	5000	1658

prune306.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize26.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.1b	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
15.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite125.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:

16.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)))
40.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
46.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series405.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(+ (* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- x) 0.70711))
104.0ms	(* x (+ 0.99229 (* x 0.04481)))
84.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
72.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.2s

Counts

112 → 112

Iterations

Useful iterations: done (1.2s)

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

prune474.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes58.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	23	19
done	23	19

end0.0ms

sample884.0ms

Algorithm

intervals

Results

686.0ms

8000×

body

valid