Details

Time bar (total: 24.6s)

sample139.0ms

Algorithm
intervals
Results
39.0ms45×body1280valid
27.0ms331×body80nan
14.0ms193×body80valid
12.0ms38×body640valid
10.0ms12×body2560valid
2.0ms10×body320valid
0.0ms2×body160valid

simplify93.0ms

Counts
1 → 1
Iterations
IterNodes
done110
6110
5108
4100
382
258
133
018

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 19.2b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(/ a (* b 3.0))
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
24.6b
(cos (- y (/ (* z t) 3.0)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×prod-diff
19×add-cbrt-cube add-exp-log
15×times-frac
9×pow1
5×prod-exp cbrt-unprod div-inv
4×expm1-log1p-u cbrt-undiv associate-/r* div-exp log1p-expm1-u associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×clear-num frac-2neg
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
15.0ms
(/ (* z t) 3.0)
10.0ms
(/ a (* b 3.0))
43.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
32.0ms
(cos (- y (/ (* z t) 3.0)))

series287.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ (* z t) 3.0)
31.0ms
(/ a (* b 3.0))
159.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
61.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.1s

Counts
113 → 113
Iterations
IterNodes
done5000
22919
1711
0327

prune1.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 15.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.3b
(/ (/ 1 b) 3.0)
0.3b
(* a (/ (/ 1 b) 3.0))
24.6b
(cos (- y (/ (* z t) 3.0)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
155×times-frac
108×add-sqr-sqrt
97×*-un-lft-identity
96×add-cube-cbrt
46×associate-*r*
33×add-exp-log
23×cos-sum add-cbrt-cube
21×prod-diff
13×associate-/l*
12×div-exp div-inv
11×pow1
8×prod-exp
6×cbrt-undiv cbrt-unprod
4×expm1-log1p-u associate-*l* pow-prod-down log1p-expm1-u add-log-exp unswap-sqr
3×cos-diff associate-/r*
2×rec-exp 1-exp *-commutative
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*r/ associate-/l/
Counts
4 → 199
Calls
4 calls:
36.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
10.0ms
(/ (/ 1 b) 3.0)
30.0ms
(* a (/ (/ 1 b) 3.0))
27.0ms
(cos (- y (/ (* z t) 3.0)))

series221.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
23.0ms
(/ (/ 1 b) 3.0)
22.0ms
(* a (/ (/ 1 b) 3.0))
60.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.7s

Counts
211 → 211
Iterations
IterNodes
done5000
24544
11097
0463

prune1.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(* a (/ 0.3333333333333333 b))
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
24.6b
(cos (- y (/ (* z t) 3.0)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×*-un-lft-identity add-cube-cbrt
23×cos-sum
22×times-frac
21×prod-diff
19×add-cbrt-cube add-exp-log
16×associate-*r*
11×pow1
6×prod-exp cbrt-unprod
5×div-inv
4×expm1-log1p-u associate-*l* pow-prod-down log1p-expm1-u add-log-exp
3×cos-diff cbrt-undiv associate-/r* div-exp
2×*-commutative unswap-sqr
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*r/ associate-/l*
Counts
4 → 112
Calls
4 calls:
11.0ms
(/ (* z t) 3.0)
23.0ms
(* a (/ 0.3333333333333333 b))
51.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
19.0ms
(cos (- y (/ (* z t) 3.0)))

series288.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ (* z t) 3.0)
28.0ms
(* a (/ 0.3333333333333333 b))
166.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
62.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.4s

Counts
124 → 124
Iterations
IterNodes
done5001
23233
1789
0352

prune1.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.7b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(/ (* 0.3333333333333333 a) b)
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
24.6b
(cos (- y (/ (* z t) 3.0)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×prod-diff
19×add-cbrt-cube add-exp-log
15×times-frac
9×pow1
6×associate-/r*
5×prod-exp cbrt-unprod div-inv
4×expm1-log1p-u cbrt-undiv div-exp log1p-expm1-u add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×clear-num frac-2neg associate-/l*
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
8.0ms
(/ (* z t) 3.0)
13.0ms
(/ (* 0.3333333333333333 a) b)
52.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
27.0ms
(cos (- y (/ (* z t) 3.0)))

series601.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ (* z t) 3.0)
25.0ms
(/ (* 0.3333333333333333 a) b)
497.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
56.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.3s

Counts
113 → 113
Iterations
IterNodes
done5001
23190
1731
0331

prune753.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 14.7b

regimes4.1s

Accuracy

28.3% (3.7b remaining)

Error of 19.4b against oracle of 15.8b and baseline of 20.9b

bsearch341.0ms

Steps
ItersRangePoint
6
1.3754484980528106e-09
7.42116589675916e-09
3.194138595283726e-09
7
-1.5543271266065759e+38
-3.3325838537415514e+36
-3.3904626364554314e+36

simplify13.0ms

Iterations
IterNodes
done69
369
267
164
050

end0.0ms

sample7.9s

Algorithm
intervals
Results
2.5s9021×body80nan
1.3s1537×body1280valid
1.2s5565×body80valid
688.0ms458×body320valid
644.0ms994×body640valid
528.0ms409×body2560valid
46.0ms185×body160valid