Details

sample24.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify11.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	11	11
2	12	11
done	12	11

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(/ x (+ x 1.0))
0.0b	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
50×	`times-frac`
45×	`add-sqr-sqrt`
31×	`add-cube-cbrt`
21×	`fma-def`
11×	`distribute-lft-out`
9×	`associate-/r*` `distribute-lft-out--`
7×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/r/` `associate-/l*`
5×	`add-log-exp`
3×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `div-inv`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+`
1×	`+-commutative` `frac-add` `sum-log`

Counts

3 → 114

Calls

3 calls:

19.0ms	(/ 1.0 (- x 1.0))
19.0ms	(/ x (+ x 1.0))
130.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series251.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(/ 1.0 (- x 1.0))
47.0ms	(/ x (+ x 1.0))
168.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify1.4s

Counts

123 → 123

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	175	1183
1	431	1098
2	1741	1043
done	5000	1039

prune288.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)) (* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0)))))
0.0b	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
0.0b	(pow (/ x (+ x 1.0)) 3)
0.2b	(pow (/ 1.0 (- x 1.0)) 3)

rewrite494.0ms

Algorithm

rewrite-expression-head

Rules

1229×	`*-un-lft-identity`
1123×	`times-frac`
954×	`add-sqr-sqrt`
756×	`prod-diff`
709×	`add-cube-cbrt`
380×	`distribute-rgt-in` `distribute-lft-in`
166×	`associate-/r/`
137×	`distribute-lft-out`
121×	`distribute-lft-out--`
118×	`difference-of-squares`
83×	`div-inv`
45×	`flip3-+` `flip-+`
40×	`flip3--` `flip--`
39×	`unpow-prod-down` `cube-prod`
18×	`associate-l`
15×	`add-exp-log` `add-cbrt-cube`
12×	`associate-r`
8×	`pow1`
6×	`pow-unpow`
4×	`expm1-log1p-u` `pow-exp` `log1p-expm1-u` `add-log-exp` `rem-cube-cbrt`
3×	`cbrt-undiv` `frac-times` `associate-*r/` `div-exp`
2×	`cube-div` `cube-mult` `pow-to-exp` `sub-neg` `pow-pow` `unpow3` `prod-exp` `frac-sub` `cbrt-unprod` `unswap-sqr` `sqr-pow`
1×	`pow-prod-down` `associate-l/` `-commutative` `fma-udef`

Counts

4 → 946

Calls

4 calls:

0.0ms	(fma (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)) (* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0)))))
356.0ms	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
14.0ms	(pow (/ x (+ x 1.0)) 3)
15.0ms	(pow (/ 1.0 (- x 1.0)) 3)

series411.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(fma (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)) (* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0)))))
129.0ms	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
60.0ms	(pow (/ x (+ x 1.0)) 3)
59.0ms	(pow (/ 1.0 (- x 1.0)) 3)

simplify3.4s

Counts

958 → 958

Iterations

Useful iterations: done (3.3s)

Iter	Nodes	Cost
0	1231	58161
1	4267	50151
done	5000	48874

prune4.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
0.0b	(pow (/ x (+ x 1.0)) 3)
0.1b	(pow (/ 1.0 (- x 1.0)) (+ 1 1))
0.2b	(pow (/ 1.0 (- x 1.0)) 3)

rewrite540.0ms

Algorithm

rewrite-expression-head

Rules

1251×	`*-un-lft-identity`
1138×	`times-frac`
974×	`add-sqr-sqrt`
756×	`prod-diff`
723×	`add-cube-cbrt`
380×	`distribute-rgt-in` `distribute-lft-in`
168×	`associate-/r/`
140×	`distribute-lft-out`
124×	`distribute-lft-out--`
121×	`difference-of-squares`
84×	`div-inv`
60×	`unpow-prod-down`
45×	`flip3-+` `flip-+`
41×	`flip3--` `flip--`
39×	`cube-prod`
18×	`add-exp-log` `pow-unpow` `associate-l`
15×	`add-cbrt-cube`
12×	`associate-r`
9×	`pow1`
6×	`pow-exp`
4×	`expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp` `rem-cube-cbrt`
3×	`cbrt-undiv` `frac-times` `pow-to-exp` `distribute-rgt-out` `pow-pow` `associate-*r/` `sqr-pow`
2×	`cube-div` `cube-mult` `sub-neg` `unpow3` `prod-exp` `frac-sub` `cbrt-unprod` `unswap-sqr`
1×	`unpow-prod-up` `distribute-lft1-in` `count-2` `pow-prod-down` `associate-l/` `distribute-rgt1-in` `-commutative`

Counts

4 → 984

Calls

4 calls:

340.0ms	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
22.0ms	(pow (/ x (+ x 1.0)) 3)
19.0ms	(pow (/ 1.0 (- x 1.0)) (+ 1 1))
20.0ms	(pow (/ 1.0 (- x 1.0)) 3)

series361.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
94.0ms	(pow (/ x (+ x 1.0)) 3)
54.0ms	(pow (/ 1.0 (- x 1.0)) (+ 1 1))
75.0ms	(pow (/ 1.0 (- x 1.0)) 3)

simplify3.5s

Counts

996 → 996

Iterations

Useful iterations: done (3.4s)

Iter	Nodes	Cost
0	1284	58571
1	4556	50358
done	5000	50357

prune5.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
0.0b	(/ x (+ x 1.0))
0.0b	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
0.0b	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

rewrite462.0ms

Algorithm

rewrite-expression-head

Rules

152×	`*-un-lft-identity`
67×	`times-frac`
39×	`distribute-lft-out`
34×	`add-sqr-sqrt`
28×	`add-cube-cbrt`
22×	`cbrt-prod`
21×	`fma-def`
16×	`unpow-prod-down` `cube-prod`
13×	`distribute-lft-out--`
7×	`add-exp-log` `add-cbrt-cube`
6×	`cube-div` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `flip3-+` `associate-/r*` `associate-/r/` `flip-+` `log1p-expm1-u`
3×	`pow-unpow` `cbrt-div` `frac-add` `associate-/l*` `difference-of-squares`
2×	`cube-mult` `unpow3` `div-inv` `sqr-pow`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `flip3--` `pow-pow` `frac-2neg` `pow1/3` `div-exp` `pow-exp` `clear-num` `sum-log` `flip--` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 149

Calls

4 calls:

170.0ms	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
21.0ms	(/ x (+ x 1.0))
163.0ms	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
102.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series612.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
57.0ms	(/ x (+ x 1.0))
231.0ms	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
153.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify2.5s

Counts

161 → 161

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	188	2492
1	557	2123
2	2868	1942
done	5001	1938

prune433.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes36.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: 1 (3.0ms)

Iter	Nodes	Cost
0	17	43
1	24	41
done	24	41

end0.0ms

sample674.0ms

Algorithm

intervals

Results

464.0ms

8000×

body

valid