Details

Time bar (total: 13.4s)

sample69.0ms

Algorithm
intervals
Results
26.0ms270×body80valid
24.0ms248×body80nan

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done2000
1361994
1351977
1341967
1331950
1321944
1311923
1301913
1291900
1281890
1271869
1261863
1251842
1241832
1231819
1221809
1211788
1201780
1191763
1181757
1171736
1161726
1151713
1141703
1131682
1121674
1111657
1101647
1091630
1081620
1071603
1061593
1051576
1041566
1031549
1021539
1011522
1001512
991495
981485
971468
961458
951441
941435
931414
921404
911391
901381
891360
881352
871335
861325
851308
841298
831281
821271
811254
801244
791227
781217
771200
761190
751173
741163
731146
721136
711119
701109
691092
681082
671065
661055
651038
641032
631011
621001
61988
60978
59957
58949
57932
56922
55905
54899
53878
52868
51855
50847
49828
48820
47807
46799
45778
44770
43755
42745
41732
40722
39705
38697
37680
36672
35655
34647
33628
32620
31607
30597
29576
28568
27551
26541
25524
24514
23497
22487
21470
20460
19443
18435
17418
16410
15395
14385
13372
12362
11337
10318
9286
8226
7130
698
588
481
362
241
124
012

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(* 3.0 (sqrt x))
0.4b
(/ 1.0 (* x 9.0))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×*-un-lft-identity add-cbrt-cube add-exp-log
11×add-cube-cbrt
9×add-log-exp
6×pow1 times-frac associate-*r* associate-/l*
4×cbrt-undiv div-exp sqrt-prod insert-posit16
3×diff-log associate-*l* prod-exp cbrt-unprod distribute-lft-out--
2×clear-num associate-/r* sub-neg frac-2neg flip3-- associate--l+ frac-sub div-inv flip-- unswap-sqr
1×associate--l- pow-prod-down *-commutative difference-of-squares
Counts
4 → 89
Calls
4 calls:
80.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
13.0ms
(/ y (* 3.0 (sqrt x)))
18.0ms
(* 3.0 (sqrt x))
12.0ms
(/ 1.0 (* x 9.0))

series234.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
84.0ms
(/ y (* 3.0 (sqrt x)))
53.0ms
(* 3.0 (sqrt x))
23.0ms
(/ 1.0 (* x 9.0))

simplify860.0ms

Counts
101 → 101
Iterations
IterNodes
done2002
21764
1534
0219

prune508.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.2b
(/ (/ 1.0 x) 9.0)
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(* 3.0 (sqrt x))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
57×add-sqr-sqrt
56×*-un-lft-identity
51×add-cube-cbrt
16×add-cbrt-cube add-exp-log associate-/l*
9×add-log-exp
6×pow1 associate-*r* div-inv
5×cbrt-undiv div-exp
4×associate-/r* sqrt-prod insert-posit16
3×diff-log associate-*l* distribute-lft-out--
2×clear-num sub-neg frac-2neg flip3-- prod-exp associate--l+ frac-sub cbrt-unprod flip-- unswap-sqr
1×associate--l- pow-prod-down *-commutative difference-of-squares associate-/l/
Counts
4 → 138
Calls
4 calls:
103.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
14.0ms
(/ (/ 1.0 x) 9.0)
10.0ms
(/ y (* 3.0 (sqrt x)))
7.0ms
(* 3.0 (sqrt x))

series212.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
18.0ms
(/ (/ 1.0 x) 9.0)
73.0ms
(/ y (* 3.0 (sqrt x)))
49.0ms
(* 3.0 (sqrt x))

simplify538.0ms

Counts
150 → 150
Iterations
IterNodes
done2002
1776
0318

prune775.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
0.2b
(/ (/ 1.0 x) 9.0)
0.3b
(/ (/ y 3.0) (sqrt x))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
222×times-frac
138×add-sqr-sqrt
127×*-un-lft-identity
122×add-cube-cbrt
44×sqrt-prod
26×associate-/l*
13×add-cbrt-cube add-exp-log div-inv
9×associate-/r*
8×add-log-exp
6×cbrt-undiv div-exp
5×difference-of-squares
3×pow1 diff-log insert-posit16 distribute-lft-out--
2×clear-num sub-neg frac-2neg flip3-- associate--l+ frac-sub flip-- associate-/l/
1×associate--l-
Counts
3 → 210
Calls
3 calls:
100.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
15.0ms
(/ (/ 1.0 x) 9.0)
16.0ms
(/ (/ y 3.0) (sqrt x))

series185.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
29.0ms
(/ (/ 1.0 x) 9.0)
87.0ms
(/ (/ y 3.0) (sqrt x))

simplify640.0ms

Counts
219 → 219
Iterations
IterNodes
done2002
11013
0428

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(* 3.0 (sqrt x))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×*-un-lft-identity
10×add-cbrt-cube add-exp-log
8×add-cube-cbrt add-log-exp
6×associate-*r*
5×pow1
4×sqrt-prod
3×times-frac diff-log associate-*l* insert-posit16 associate-/l* distribute-lft-out--
2×cbrt-undiv sub-neg flip3-- div-exp prod-exp associate--l+ frac-sub cbrt-unprod flip-- unswap-sqr
1×associate--l- clear-num associate-/r* frac-2neg pow-prod-down *-commutative div-inv difference-of-squares
Counts
3 → 67
Calls
3 calls:
54.0ms
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
16.0ms
(/ y (* 3.0 (sqrt x)))
15.0ms
(* 3.0 (sqrt x))

series219.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
84.0ms
(/ y (* 3.0 (sqrt x)))
72.0ms
(* 3.0 (sqrt x))

simplify704.0ms

Counts
76 → 76
Iterations
IterNodes
done2004
21435
1445
0178

prune332.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes110.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done12
012

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.2s8522×body80valid
1.1s8577×body80nan