Details

sample40.0ms

Algorithm

intervals

Results

22.0ms

256×

body

valid

simplify15.1s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

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

200.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
8.0ms	(+ 2.30753 (* x 0.27061))
24.0ms	(* x (+ 0.99229 (* x 0.04481)))
42.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series365.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
60.0ms	(+ 2.30753 (* x 0.27061))
86.0ms	(* x (+ 0.99229 (* x 0.04481)))
76.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

prune411.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite354.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
9×	`pow1` `add-cube-cbrt` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
6×	`associate-l`
5×	`distribute-rgt-in` `log-prod` `distribute-lft-in`
4×	`associate-*r/` `exp-sum`
3×	`log-pow`
2×	`sub-neg` `exp-prod` `exp-to-pow` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`flip3--` `flip3-+` `times-frac` `rem-log-exp` `flip--` `flip-+` `rem-exp-log` `distribute-lft-out--`

Counts

4 → 77

Calls

4 calls:

313.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (exp (* x (+ 0.99229 (* x 0.04481))))))) x))
11.0ms	(exp (* x (+ 0.99229 (* x 0.04481))))
19.0ms	(* x (+ 0.99229 (* x 0.04481)))
8.0ms	(log (exp (* x (+ 0.99229 (* x 0.04481)))))

series360.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (exp (* x (+ 0.99229 (* x 0.04481))))))) x))
42.0ms	(exp (* x (+ 0.99229 (* x 0.04481))))
82.0ms	(* x (+ 0.99229 (* x 0.04481)))
96.0ms	(log (exp (* x (+ 0.99229 (* x 0.04481)))))

simplify2.4s

Counts

89 → 89

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	158	1380
1	360	1254
2	1000	1107
3	3281	1103
done	5001	1103

prune335.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.1b	(* x (+ (* 0.04481 x) 0.99229))
0.2b	(pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3)
13.2b	(/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0))
17.3b	(cbrt (pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3))

rewrite469.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `times-frac`
8×	`cbrt-prod`
4×	`cube-div` `associate-*l/` `add-log-exp`
3×	`pow-unpow` `flip3-+` `associate-r` `associate-l` `associate-/r` `flip-+` `associate-/l`
2×	`cube-mult` `unpow-prod-down` `cbrt-div` `flip3--` `pow-pow` `unpow3` `cube-prod` `associate-*r/` `pow-prod-down` `pow-exp` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `associate-/l/` `rem-cube-cbrt` `sqr-pow`
1×	`cbrt-undiv` `distribute-rgt-in` `pow-to-exp` `frac-2neg` `distribute-lft-in` `pow1/3` `div-exp` `clear-num` `*-commutative` `rem-cbrt-cube` `div-inv` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

39.0ms	(* x (+ (* 0.04481 x) 0.99229))
265.0ms	(pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3)
74.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0))
87.0ms	(cbrt (pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3))

series528.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(* x (+ (* 0.04481 x) 0.99229))
209.0ms	(pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3)
107.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0))
127.0ms	(cbrt (pow (* (- (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ (* 0.04481 x) 0.99229)) 1.0)) x) 0.70711) 3))

simplify1.3s

Counts

108 → 108

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	223	2539
1	560	2316
2	1783	2126
done	5001	2098

prune443.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes30.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	21
1	25	21
done	25	21

end0.0ms

sample862.0ms

Algorithm

intervals

Results

669.0ms

8000×

body

valid