Details

sample34.0ms

Algorithm

intervals

Results

16.0ms

331×

body

valid

simplify6.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
33	4929
32	4787
31	4642
30	4496
29	4351
28	4209
27	4050
26	3908
25	3749
24	3607
23	3448
22	3306
21	3147
20	3005
19	2846
18	2704
17	2545
16	2403
15	2244
14	2102
13	1943
12	1801
11	1651
10	1497
9	1194
8	613
7	301
6	149
5	112
4	98
3	79
2	42
1	19
0	8

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 0.253 (* x 0.12))
0.1b	(* x (+ 0.253 (* x 0.12)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

11.0ms	(+ 0.253 (* x 0.12))
33.0ms	(* x (+ 0.253 (* x 0.12)))

series258.0ms

Counts

2 → 6

Calls

2 calls:

76.0ms	(+ 0.253 (* x 0.12))
182.0ms	(* x (+ 0.253 (* x 0.12)))

simplify8.2s

Counts

39 → 39

Iterations

Iter	Nodes
done	5023
3	3087
2	653
1	181
0	60

prune293.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize355.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
0.1b	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
0.2b	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
0.3b	(* (* x 0.12) (* x 0.12))

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

45×	`pow1`
27×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`associate-r`
18×	`pow-prod-down`
10×	`prod-exp` `cbrt-unprod`
8×	`difference-of-squares`
6×	`add-log-exp`
4×	`flip3--` `associate-l` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `associate-/l*`
3×	`associate-/r*`
2×	`cbrt-undiv` `pow-plus` `div-exp` `*-commutative` `div-inv` `associate-/l/` `unswap-sqr`
1×	`pow2` `sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-*r/` `swap-sqr` `clear-num`

Counts

4 → 120

Calls

4 calls:

19.0ms	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
1.3s	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
54.0ms	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
121.0ms	(* (* x 0.12) (* x 0.12))

series773.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
316.0ms	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
289.0ms	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
60.0ms	(* (* x 0.12) (* x 0.12))

simplify5.1s

Counts

132 → 132

Iterations

Iter	Nodes
done	5005
2	1743
1	462
0	161

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 0.12 (* x x)) (* 0.253 x))
0.1b	(* 0.12 (* x x))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-log-exp`
3×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 30

Calls

2 calls:

37.0ms	(+ (* 0.12 (* x x)) (* 0.253 x))
37.0ms	(* 0.12 (* x x))

series353.0ms

Counts

2 → 6

Calls

2 calls:

287.0ms	(+ (* 0.12 (* x x)) (* 0.253 x))
66.0ms	(* 0.12 (* x x))

simplify10.0s

Counts

36 → 36

Iterations

Iter	Nodes
done	5002
3	3137
2	650
1	181
0	57

prune441.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 0.12 x) 0.253)
0.1b	(* x (+ (* 0.12 x) 0.253))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

16.0ms	(+ (* 0.12 x) 0.253)
117.0ms	(* x (+ (* 0.12 x) 0.253))

series621.0ms

Counts

2 → 6

Calls

2 calls:

67.0ms	(+ (* 0.12 x) 0.253)
554.0ms	(* x (+ (* 0.12 x) 0.253))

simplify10.1s

Counts

39 → 39

Iterations

Iter	Nodes
done	5002
3	2942
2	619
1	179
0	58

prune351.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes274.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	12
1	12
0	9

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.0s

10582×

body

valid