Details

Time bar (total: 13.6s)

sample48.0ms

Algorithm
intervals
Results
16.0ms54×body1280valid
11.0ms50×body640valid
7.0ms125×body80valid
3.0ms16×body320valid
1.0ms11×body160valid

simplify193.0ms

Counts
1 → 1
Iterations
IterNodes
done168
15168
14165
13136
12114
1199
1089
969
853
742
632
526
423
322
219
115
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 1) (- x 1))
0.0b
(/ x (+ x 1))
3.0b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
60×times-frac
57×add-sqr-sqrt
25×add-cube-cbrt
20×distribute-lft-out
18×distribute-lft-out--
14×difference-of-squares
11×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×difference-of-sqr-1 add-log-exp
4×associate-/r/
3×pow1 insert-posit16
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 117
Calls
3 calls:
37.0ms
(/ (+ x 1) (- x 1))
16.0ms
(/ x (+ x 1))
58.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

series193.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ (+ x 1) (- x 1))
24.0ms
(/ x (+ x 1))
136.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify1.3s

Counts
126 → 126
Iterations
IterNodes
done2001
32001
21062
1399
0180

prune943.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 3 x) (/ 1 (* x x)))
0.1b
(/ (/ 3 x) (* x x))
0.5b
(/ 1 (* x x))
8.8b
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
37×times-frac
33×*-un-lft-identity
27×add-exp-log
21×add-cbrt-cube
20×add-sqr-sqrt add-cube-cbrt
16×associate-/l*
12×pow1
11×add-log-exp
10×div-exp
8×cbrt-undiv div-inv distribute-lft-out
6×pow-flip
5×frac-add prod-exp
4×sum-log insert-posit16
3×flip3-+ cbrt-unprod flip-+
2×+-commutative rec-exp clear-num associate-/r* frac-2neg distribute-rgt-out 1-exp
1×pow2 associate-+r+ pow-plus pow-prod-down pow-sqr pow-prod-up inv-pow associate-/l/
Counts
4 → 117
Calls
4 calls:
12.0ms
(+ (/ 3 x) (/ 1 (* x x)))
9.0ms
(/ (/ 3 x) (* x x))
17.0ms
(/ 1 (* x x))
56.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

series210.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(+ (/ 3 x) (/ 1 (* x x)))
60.0ms
(/ (/ 3 x) (* x x))
29.0ms
(/ 1 (* x x))
38.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

simplify1.1s

Counts
129 → 129
Iterations
IterNodes
done2005
22005
1606
0201

prune948.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac
68×*-un-lft-identity
60×add-sqr-sqrt
53×add-cube-cbrt
17×add-exp-log
13×add-cbrt-cube associate-*l* associate-/l*
10×distribute-lft-out
8×div-inv add-log-exp
6×flip3-+ associate-*r* frac-add flip-+
5×pow1 div-exp
4×frac-times cbrt-undiv prod-exp associate-*r/
3×associate-/r* sum-log insert-posit16 unswap-sqr
2×cbrt-unprod
1×distribute-rgt-in +-commutative rec-exp associate-+r+ clear-num frac-2neg distribute-lft-in 1-exp pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
3 → 139
Calls
3 calls:
48.0ms
(+ (/ (/ 3 x) x) (+ 3 (/ 1 x)))
15.0ms
(/ (/ 3 x) x)
127.0ms
(* (/ 1 x) (+ (/ (/ 3 x) x) (+ 3 (/ 1 x))))

series117.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(+ (/ (/ 3 x) x) (+ 3 (/ 1 x)))
49.0ms
(/ (/ 3 x) x)
52.0ms
(* (/ 1 x) (+ (/ (/ 3 x) x) (+ 3 (/ 1 x))))

simplify1.2s

Counts
148 → 148
Iterations
IterNodes
done2000
22000
1833
0264

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

8.8b
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))
20.6b
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
20.6b
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
20.6b
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))

rewrite333.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
24×distribute-lft-out
21×cbrt-prod
16×frac-add
15×cbrt-div
9×add-log-exp
8×flip3-+ times-frac flip-+ div-inv
7×add-sqr-sqrt add-cube-cbrt
4×pow1 distribute-rgt-out add-cbrt-cube add-exp-log insert-posit16
3×sum-log pow1/3
1×+-commutative associate-+r+
Counts
4 → 84
Calls
4 calls:
100.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))
74.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
79.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
77.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))

series285.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))
73.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
90.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))
94.0ms
(cbrt (+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x)))))

simplify1.5s

Counts
96 → 96
Iterations
IterNodes
done2000
32000
21838
1402
0135

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes55.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 31.0b

bsearch191.0ms

Steps
ItersRangePoint
10
1.8230705747381016e-09
4364471.442644652
10123.071980988583
9
-32298.533864343164
-0.030639508246526274
-8182.424782641311

simplify23.0ms

Iterations
IterNodes
done53
353
247
141
027

end0.0ms

sample2.2s

Algorithm
intervals
Results
770.0ms1714×body1280valid
417.0ms1277×body640valid
403.0ms332×body160valid
336.0ms4052×body80valid
134.0ms625×body320valid