Details

sample44.0ms

Algorithm

intervals

Results

22.0ms

256×

body

valid

simplify15.5s

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

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

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

10.0ms	(+ 0.99229 (* x 0.04481))
162.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
18.0ms	(* x (+ 0.99229 (* x 0.04481)))
35.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series348.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(+ 0.99229 (* x 0.04481))
140.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
91.0ms	(* x (+ 0.99229 (* x 0.04481)))
62.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.2s

Counts

103 → 103

Iterations

Useful iterations: done (1.2s)

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

prune359.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

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

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

28.0ms	(+ (* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- x) 0.70711))
17.0ms	(* x (+ 0.99229 (* x 0.04481)))
51.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
31.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series382.0ms

Counts

4 → 12

Calls

4 calls:

119.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)))
98.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
85.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

prune383.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x 1.3436228731669864) 2.134856267379707)
0.0b	(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))
0.1b	(* x (- (* x 1.3436228731669864) 2.134856267379707))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-log-exp`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `*-un-lft-identity` `add-cbrt-cube`
4×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
3×	`associate-r` `associate-l`
2×	`flip3--` `associate-*r/` `flip--`
1×	`+-commutative` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 51

Calls

3 calls:

9.0ms	(- (* x 1.3436228731669864) 2.134856267379707)
9.0ms	(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))
32.0ms	(* x (- (* x 1.3436228731669864) 2.134856267379707))

series153.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(- (* x 1.3436228731669864) 2.134856267379707)
31.0ms	(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))
81.0ms	(* x (- (* x 1.3436228731669864) 2.134856267379707))

simplify1.4s

Counts

60 → 60

Iterations

Useful iterations: 3 (488.0ms)

Iter	Nodes	Cost
0	86	643
1	206	614
2	537	560
3	1952	558
done	5001	558

prune142.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes17.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

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

sample922.0ms

Algorithm

intervals

Results

713.0ms

8000×

body

valid