Details

sample30.0ms

Algorithm

intervals

Results

16.0ms

256×

body

valid

simplify14.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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.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.0b	(+ 2.30753 (* x 0.27061))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
17.3b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

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

258.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
6.0ms	(+ 2.30753 (* x 0.27061))
17.0ms	(* x (+ 0.99229 (* x 0.04481)))
48.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series388.0ms

Counts

4 → 12

Calls

4 calls:

164.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
48.0ms	(+ 2.30753 (* x 0.27061))
86.0ms	(* x (+ 0.99229 (* x 0.04481)))
91.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.4s

Counts

103 → 103

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	202	1888
1	515	1810
2	1581	1662
done	5000	1658

prune384.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

7.0ms	(+ 2.30753 (* x 0.27061))
18.0ms	(* x (+ 0.99229 (* x 0.04481)))
43.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
30.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series295.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(+ 2.30753 (* x 0.27061))
88.0ms	(* x (+ 0.99229 (* x 0.04481)))
94.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
65.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.2s

Counts

110 → 110

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	202	2000
1	532	1944
2	1742	1734
done	5000	1730

prune445.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes82.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify11.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

sample874.0ms

Algorithm

intervals

Results

683.0ms

8000×

body

valid