Details

Time bar (total: 18.8s)

sample52.0ms

Algorithm
intervals
Results
18.0ms66×body1280valid
8.0ms37×body640valid
7.0ms126×body80valid
3.0ms18×body320valid
1.0ms9×body160valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
124085
111745
10535
9183
879
758
639
527
421
319
216
112
07

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
981×*-un-lft-identity
736×times-frac
585×add-sqr-sqrt
468×prod-diff
419×add-cube-cbrt
189×distribute-lft-out
94×associate-/r/
90×distribute-lft-out--
81×difference-of-squares
47×div-inv
29×flip3-+ flip-+
20×flip3-- flip--
18×fma-neg
9×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×add-log-exp
3×expm1-log1p-u pow1 log1p-expm1-u
2×cbrt-undiv clear-num frac-2neg div-exp associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 596
Calls
3 calls:
9.0ms
(/ x (+ 1.0 x))
19.0ms
(/ (+ 1.0 x) (- x 1.0))
172.0ms
(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

series323.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(/ x (+ 1.0 x))
52.0ms
(/ (+ 1.0 x) (- x 1.0))
213.0ms
(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

simplify2.2s

Counts
605 → 605
Iterations
IterNodes
done5000
24626
11268
0528

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 3.0 x) (/ (/ 1.0 x) x))
0.1b
(/ 3.0 (pow x 3))
0.1b
(/ (/ 1.0 x) x)
5.0b
(- (- (/ 3.0 (pow x 3))) (+ (/ 3.0 x) (/ (/ 1.0 x) x)))

rewrite638.0ms

Algorithm
rewrite-expression-head
Rules
1434×*-un-lft-identity
1282×times-frac
739×add-sqr-sqrt
737×add-cube-cbrt
672×prod-diff
364×distribute-rgt-neg-in
360×distribute-lft-neg-in
343×distribute-lft-out
197×div-inv
174×unpow-prod-down cube-prod
86×distribute-rgt-out
84×fma-neg
59×cube-mult
58×unpow3 sqr-pow
16×associate-/l* add-log-exp
15×associate-/r*
14×add-exp-log
13×fma-def
11×add-cbrt-cube
9×neg-mul-1
6×div-exp distribute-lft-out--
4×expm1-log1p-u pow1 cbrt-undiv diff-log log1p-expm1-u
3×sum-log frac-sub distribute-neg-frac
2×clear-num frac-2neg flip3-+ neg-log frac-add flip-+
1×associate--l- neg-sub0 pow-to-exp +-commutative sub-neg flip3-- pow-exp flip-- associate--r+ difference-of-squares associate-/l/
Counts
4 → 956
Calls
4 calls:
50.0ms
(+ (/ 3.0 x) (/ (/ 1.0 x) x))
7.0ms
(/ 3.0 (pow x 3))
9.0ms
(/ (/ 1.0 x) x)
417.0ms
(- (- (/ 3.0 (pow x 3))) (+ (/ 3.0 x) (/ (/ 1.0 x) x)))

series243.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ (/ 3.0 x) (/ (/ 1.0 x) x))
68.0ms
(/ 3.0 (pow x 3))
28.0ms
(/ (/ 1.0 x) x)
65.0ms
(- (- (/ 3.0 (pow x 3))) (+ (/ 3.0 x) (/ (/ 1.0 x) x)))

simplify1.1s

Counts
968 → 968
Iterations
IterNodes
done5000
12029
0845

prune2.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ 3.0 (/ 1.0 x)) x)
0.3b
(/ (sqrt 3.0) (* x x))
0.4b
(/ (- (sqrt 3.0)) x)
5.1b
(fma (/ (- (sqrt 3.0)) x) (/ (sqrt 3.0) (* x x)) (- (/ (+ 3.0 (/ 1.0 x)) x)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
62×*-un-lft-identity
54×add-sqr-sqrt add-cube-cbrt
30×sqrt-prod
26×associate-/l*
24×distribute-lft-neg-in distribute-rgt-neg-in
13×add-cbrt-cube add-exp-log
7×associate-/r*
4×expm1-log1p-u pow1 cbrt-undiv neg-mul-1 div-exp log1p-expm1-u distribute-lft-out add-log-exp
3×clear-num frac-2neg div-inv
2×associate-/l/
1×neg-sub0 flip3-+ div-sub prod-exp distribute-frac-neg cbrt-unprod flip-+ fma-udef
Counts
4 → 157
Calls
4 calls:
34.0ms
(/ (+ 3.0 (/ 1.0 x)) x)
24.0ms
(/ (sqrt 3.0) (* x x))
17.0ms
(/ (- (sqrt 3.0)) x)
1.0ms
(fma (/ (- (sqrt 3.0)) x) (/ (sqrt 3.0) (* x x)) (- (/ (+ 3.0 (/ 1.0 x)) x)))

series735.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(/ (+ 3.0 (/ 1.0 x)) x)
85.0ms
(/ (sqrt 3.0) (* x x))
75.0ms
(/ (- (sqrt 3.0)) x)
469.0ms
(fma (/ (- (sqrt 3.0)) x) (/ (sqrt 3.0) (* x x)) (- (/ (+ 3.0 (/ 1.0 x)) x)))

simplify1.1s

Counts
169 → 169
Iterations
IterNodes
done5001
22406
1522
0232

prune977.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 3.0 (pow x 3))
0.1b
(/ (/ 1.0 x) x)
0.2b
(fma 3.0 (/ 1 x) (/ (/ 1.0 x) x))
5.0b
(- (- (/ 3.0 (pow x 3))) (fma 3.0 (/ 1 x) (/ (/ 1.0 x) x)))

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
399×times-frac
339×*-un-lft-identity
337×add-sqr-sqrt
335×add-cube-cbrt
252×prod-diff
161×distribute-rgt-neg-in
160×distribute-lft-neg-in
84×unpow-prod-down fma-neg cube-prod
28×cube-mult unpow3 sqr-pow
16×associate-/l*
15×associate-/r*
14×add-exp-log div-inv
11×add-cbrt-cube
8×add-log-exp
6×div-exp
4×expm1-log1p-u pow1 cbrt-undiv neg-mul-1 log1p-expm1-u
2×clear-num frac-2neg diff-log fma-udef distribute-lft-out--
1×associate--l- neg-sub0 pow-to-exp sub-neg flip3-- neg-log pow-exp flip-- associate--r+ difference-of-squares associate-/l/
Counts
4 → 505
Calls
4 calls:
12.0ms
(/ 3.0 (pow x 3))
9.0ms
(/ (/ 1.0 x) x)
0.0ms
(fma 3.0 (/ 1 x) (/ (/ 1.0 x) x))
171.0ms
(- (- (/ 3.0 (pow x 3))) (fma 3.0 (/ 1 x) (/ (/ 1.0 x) x)))

series211.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ 3.0 (pow x 3))
30.0ms
(/ (/ 1.0 x) x)
92.0ms
(fma 3.0 (/ 1 x) (/ (/ 1.0 x) x))
40.0ms
(- (- (/ 3.0 (pow x 3))) (fma 3.0 (/ 1 x) (/ (/ 1.0 x) x)))

simplify743.0ms

Counts
517 → 517
Iterations
IterNodes
done5000
11277
0536

prune1.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes56.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch144.0ms

Steps
ItersRangePoint
8
5.1212688054922095
257785.57693934403
17625.542876313542
8
-346749.28651926527
-205.8624528279525
-11166.746807654923

simplify42.0ms

Iterations
IterNodes
done60
360
259
154
035

end0.0ms

sample1.2s

Algorithm
intervals
Results
485.0ms1675×body1280valid
258.0ms1281×body640valid
174.0ms4100×body80valid
113.0ms633×body320valid
26.0ms311×body160valid