Details

Time bar (total: 19.9s)

sample37.0ms

Algorithm
intervals
Results
12.0ms66×body1280valid
6.0ms37×body640valid
5.0ms126×body80valid
2.0ms18×body320valid
1.0ms9×body160valid

simplify2.7s

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize20.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)))

rewrite237.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:
12.0ms
(/ x (+ 1.0 x))
22.0ms
(/ (+ 1.0 x) (- x 1.0))
124.0ms
(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

series327.0ms

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

simplify2.6s

Counts
605 → 605
Iterations
IterNodes
done5000
24626
11268
0528

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize39.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)))

rewrite640.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))
14.0ms
(/ 3.0 (pow x 3))
15.0ms
(/ (/ 1.0 x) x)
379.0ms
(- (- (/ 3.0 (pow x 3))) (+ (/ 3.0 x) (/ (/ 1.0 x) x)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ (/ 3.0 x) (/ (/ 1.0 x) x))
54.0ms
(/ 3.0 (pow x 3))
45.0ms
(/ (/ 1.0 x) x)
54.0ms
(- (- (/ 3.0 (pow x 3))) (+ (/ 3.0 x) (/ (/ 1.0 x) x)))

simplify1.0s

Counts
968 → 968
Iterations
IterNodes
done5000
12029
0845

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

5.1b
(fma (* (- (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3))) (- (/ (+ 3.0 (/ 1.0 x)) x)))
39.1b
(cbrt (/ 3.0 (pow x 3)))
39.1b
(cbrt (/ 3.0 (pow x 3)))
39.1b
(cbrt (/ 3.0 (pow x 3)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
120×cbrt-prod
108×times-frac
70×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×unpow-prod-down cube-prod
9×cube-mult unpow3 sqr-pow
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 div-inv
1×fma-udef
Counts
4 → 163
Calls
4 calls:
0.0ms
(fma (* (- (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3))) (- (/ (+ 3.0 (/ 1.0 x)) x)))
9.0ms
(cbrt (/ 3.0 (pow x 3)))
8.0ms
(cbrt (/ 3.0 (pow x 3)))
9.0ms
(cbrt (/ 3.0 (pow x 3)))

series286.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(fma (* (- (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3)))) (cbrt (/ 3.0 (pow x 3))) (- (/ (+ 3.0 (/ 1.0 x)) x)))
59.0ms
(cbrt (/ 3.0 (pow x 3)))
74.0ms
(cbrt (/ 3.0 (pow x 3)))
65.0ms
(cbrt (/ 3.0 (pow x 3)))

simplify2.4s

Counts
175 → 175
Iterations
IterNodes
done5000
34912
2894
1269
0160

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.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)))

rewrite262.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:
7.0ms
(/ 3.0 (pow x 3))
9.0ms
(/ (/ 1.0 x) x)
0.0ms
(fma 3.0 (/ 1 x) (/ (/ 1.0 x) x))
184.0ms
(- (- (/ 3.0 (pow x 3))) (fma 3.0 (/ 1 x) (/ (/ 1.0 x) x)))

series239.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ 3.0 (pow x 3))
32.0ms
(/ (/ 1.0 x) x)
94.0ms
(fma 3.0 (/ 1 x) (/ (/ 1.0 x) x))
58.0ms
(- (- (/ 3.0 (pow x 3))) (fma 3.0 (/ 1 x) (/ (/ 1.0 x) x)))

simplify671.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

regimes61.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch114.0ms

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

simplify13.0ms

Iterations
IterNodes
done63
363
262
157
037

end0.0ms

sample1.3s

Algorithm
intervals
Results
413.0ms1675×body1280valid
348.0ms1281×body640valid
226.0ms4100×body80valid
116.0ms633×body320valid
26.0ms311×body160valid